Changes between Initial Version and Version 1 of Ticket #12224
- Timestamp:
- 12/23/11 11:16:31 (11 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #12224 – Description
initial v1 6 6 * change Words into FreeMonoid 7 7 * coercion 8 9 see also: #12225, #12227