Thu, 13 Apr 2000 15:01:50 +0200 | nipkow | Times -> <*> | file | diff | annotate |
Tue, 07 Sep 1999 10:40:58 +0200 | wenzelm | isatool expandshort; | file | diff | annotate |
Mon, 26 Jul 1999 16:30:50 +0200 | paulson | HOL/ex/Tarski: new example by Florian Kammueller | file | diff | annotate |