| Tue, 09 Jan 2001 15:32:27 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Fri, 05 Jan 2001 18:48:18 +0100 | nipkow | ^^ -> ``` | file | diff | annotate |
| Tue, 27 Jul 1999 22:34:11 +0200 | wenzelm | back again, supposedly with correct perms; | file | diff | annotate |
| Tue, 27 Jul 1999 22:32:22 +0200 | wenzelm | fixed perms and final nl; | file | diff | annotate |
| Mon, 26 Jul 1999 16:30:50 +0200 | paulson | HOL/ex/Tarski: new example by Florian Kammueller | file | diff | annotate |