|
|
last edited 16 years ago by Bill Page |
Version | Note | Size | Editor | Time |
---|---|---|---|---|
Type-safe (rep,per) version with equality | 5103 | Bill Page | 2008/11/12 22:07:50 GMT-8 | |
Type-safe (rep,per) version with equality | 5103 | Bill Page | 2008/11/12 22:07:50 GMT-8 | |
using coerce (almost) works in OpenAxiom | 3779 | Bill Page | 2008/11/12 13:27:45 GMT-8 | |
use retract instead of coerce | 1009 | Bill Page | 2008/11/11 19:34:25 GMT-8 |