Tue, 17 Nov 2009 14:51:57 +0100 | wenzelm | eliminated slightly odd name space grouping -- now managed by Isar toplevel; | file | diff | annotate |
Fri, 13 Nov 2009 19:57:46 +0100 | wenzelm | inductive: eliminated obsolete kind; | file | diff | annotate |
Thu, 12 Nov 2009 22:02:11 +0100 | wenzelm | eliminated obsolete "internal" kind -- collapsed to unspecific ""; | file | diff | annotate |
Thu, 12 Nov 2009 09:11:46 +0100 | bulwahn | removed unnecessary oracle in the predicate compiler | file | diff | annotate |
Sun, 08 Nov 2009 18:43:42 +0100 | wenzelm | adapted Theory_Data; | file | diff | annotate |
Wed, 28 Oct 2009 16:25:27 +0100 | wenzelm | conceal internal bindings; | file | diff | annotate |
Wed, 28 Oct 2009 00:07:51 +0100 | wenzelm | proper headers; | file | diff | annotate |
Tue, 27 Oct 2009 09:02:22 +0100 | bulwahn | including the predicate compiler in HOL-Main; added RandomPredicate monad to Quickcheck | file | diff | annotate |