Sat, 21 Jul 2007 09:14:16 +0200 | haftmann | dropped Nat legacy bindings | file | diff | annotate |
Wed, 11 Jul 2007 10:53:39 +0200 | berghofe | Adapted to new inductive definition package. | 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 |