| 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 |