Mercurial Mercurial > repos > isabelle / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Predicate_Compile.thy
Wed, 31 Mar 2010 16:44:41 +0200 bulwahn putting compilation setup of predicate compiler in a separate file file | diff | annotate
Mon, 29 Mar 2010 17:30:52 +0200 bulwahn adding specialisation of predicates to the predicate compiler file | diff | annotate
Mon, 29 Mar 2010 17:30:39 +0200 bulwahn adopting Predicate_Compile file | diff | annotate
Mon, 22 Mar 2010 20:58:52 +0100 wenzelm recovered header; file | diff | annotate
Mon, 22 Mar 2010 08:30:13 +0100 bulwahn removed unused Predicate_Compile_Set file | diff | annotate
Mon, 22 Mar 2010 08:30:13 +0100 bulwahn reviving the classical depth-limited computation in the predicate compiler file | diff | annotate
Wed, 20 Jan 2010 11:56:45 +0100 bulwahn refactoring the predicate compiler; adding theories for Sequences; adding retrieval to Spec_Rules; adding timing to Quickcheck 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
less more (0) tip
isabelle