| Tue, 01 Sep 1998 10:11:06 +0200 | paulson | New lemmas involving Int | changeset | files |
| Tue, 01 Sep 1998 10:10:27 +0200 | paulson | fixed error msg | changeset | files |
| Tue, 01 Sep 1998 10:10:11 +0200 | paulson | Moved lemmas to Arith.ML | changeset | files |
| Tue, 01 Sep 1998 10:09:11 +0200 | paulson | Two new subtraction lemmas | changeset | files |
| Sun, 30 Aug 1998 15:14:42 +0200 | wenzelm | made SML/NJ happy; | changeset | files |
| Fri, 28 Aug 1998 15:01:13 +0200 | wenzelm | * print mode 'emacs' reserved for Isamode; | changeset | files |
| Fri, 28 Aug 1998 14:59:34 +0200 | wenzelm | added emacs mode; | changeset | files |
| Fri, 28 Aug 1998 14:20:14 +0200 | wenzelm | tuned isatool install; | changeset | files |
| Fri, 28 Aug 1998 14:18:46 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 28 Aug 1998 14:08:55 +0200 | wenzelm | -d DISTDIR; | changeset | files |
| Fri, 28 Aug 1998 13:35:43 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 27 Aug 1998 20:56:26 +0200 | wenzelm | www.in.tum.de; | changeset | files |