| Fri, 16 Apr 2004 21:00:36 +0200 | wenzelm | tuned document; | changeset | files |
| Fri, 16 Apr 2004 21:00:07 +0200 | wenzelm | Pure: 'instance' now handles general arities; | changeset | files |
| Fri, 16 Apr 2004 20:59:09 +0200 | wenzelm | 'instance' and intro_classes now handle general sorts; | changeset | files |
| Fri, 16 Apr 2004 20:34:41 +0200 | webertj | exactly1true rewritten (much better when converting to CNF now) | changeset | files |
| Fri, 16 Apr 2004 20:33:16 +0200 | nipkow | Moved ring stuff from ex into Ring_and_Field. | changeset | files |
| Fri, 16 Apr 2004 19:04:17 +0200 | berghofe | Added entry for quickcheck command. | changeset | files |
| Fri, 16 Apr 2004 18:55:25 +0200 | berghofe | Replaced quote by Library.quote, since quote now refers to Symbol.quote | changeset | files |