Rev 201 |
Compare with Previous |
Directory listing |
View Log
| RSS feed
Last modification
- Rev 205 — 4977d 17h
- Author: rubey
- Log message:
- modified the representation of multiset and multisubset, using ideas from the
object-example in the Aldor User Guide.
add a test for multiset and multisubset. generation and structures work.
Isomorphismtypes work too, but I didn't write a test yet.