| Thu, 13 Jul 2000 11:41:40 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 30 Mar 2000 21:26:10 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sat, 25 Mar 2000 18:01:27 +0100 | wenzelm | tuned; | file | diff | annotate |
| Fri, 24 Mar 2000 21:09:34 +0100 | wenzelm | plain ASCII; | file | diff | annotate |
| Fri, 24 Mar 2000 17:28:03 +0100 | wenzelm | added HOL/ex/Multiquote.thy; | file | diff | annotate |