| Wed, 19 Apr 2000 11:13:31 +0200 | paulson | deleted obsolete lemma_not_leI2 | file | diff | annotate |
| Tue, 21 Sep 1999 17:29:00 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 07 Sep 1999 10:40:58 +0200 | wenzelm | isatool expandshort; | file | diff | annotate |
| Tue, 24 Aug 1999 11:54:13 +0200 | wenzelm | Real/Real.thy main entry point; | file | diff | annotate |