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 |