| Sat, 21 Jul 2007 09:14:16 +0200 | haftmann | dropped Nat legacy bindings | file | diff | annotate |
| Tue, 08 May 2007 08:21:39 +0200 | haftmann | ML adaptions | file | diff | annotate |
| Wed, 13 Dec 2006 16:32:20 +0100 | wenzelm | removed legacy ML bindings; | file | diff | annotate |
| Wed, 11 Apr 2001 11:53:54 +0200 | paulson | symlinks to ../../../HOL/Auth. Fingers crossed... | file | diff | annotate |