isabelle: File revisions

src/HOL/Predicate_Compile.thy

Wed, 22 Aug 2012 22:55:41 +0200	wenzelm	prefer ML_file over old uses;	file \| diff \| annotate
Thu, 15 Mar 2012 22:08:53 +0100	wenzelm	declare command keywords via theory header, including strict checking outside Pure;	file \| diff \| annotate
Fri, 24 Feb 2012 22:46:44 +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, 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

isabelle