| Sun, 30 Jul 2000 13:02:56 +0200 | wenzelm | removed equalityCE; | file | diff | annotate |
| Wed, 22 Sep 1999 21:04:55 +0200 | wenzelm | qed ""; | file | diff | annotate |
| Mon, 23 Aug 1999 15:30:26 +0200 | wenzelm | isatool expandshort; | file | diff | annotate |
| Tue, 27 Apr 1999 10:45:20 +0200 | wenzelm | added Isar_examples/Cantor.ML; | file | diff | annotate |