| Thu, 07 Sep 2000 20:47:34 +0200 | wenzelm | setup Rulify.setup; | changeset | files |
| Thu, 07 Sep 2000 20:46:53 +0200 | wenzelm | Conversion of object-level -->/ALL into meta-level ==>/!!; | changeset | files |
| Thu, 07 Sep 2000 17:36:37 +0200 | paulson | a number of new theorems | changeset | files |
| Thu, 07 Sep 2000 15:31:09 +0200 | nipkow | Added meaningful output to cong-error msg. | changeset | files |
| Thu, 07 Sep 2000 10:38:04 +0200 | paulson | strengthened dvd_mod & proofed dvd_mod_iff | changeset | files |
| Wed, 06 Sep 2000 19:12:26 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 06 Sep 2000 19:01:37 +0200 | wenzelm | make SML/NJ happy; | changeset | files |