| Fri, 24 Feb 2012 09:40:02 +0100 | haftmann | given up disfruitful branch | file | diff | annotate |
| Thu, 23 Feb 2012 21:25:59 +0100 | haftmann | moved predicate relations and conversion rules between set and predicate relations from Predicate.thy to Relation.thy; moved Predicate.thy upwards in theory hierarchy | file | diff | annotate |
| Fri, 11 Nov 2011 08:32:45 +0100 | bulwahn | adding CPS compilation to predicate compiler; | file | diff | annotate |
| Thu, 21 Oct 2010 19:13:09 +0200 | bulwahn | splitting large core file into core_data, mode_inference and predicate_compile_proof | file | diff | annotate |
| 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 |