isabelle: Changelog

bulwahn [Wed, 31 Mar 2010 16:44:41 +0200] rev 36048

clarifying the Predicate_Compile_Core signature

bulwahn [Wed, 31 Mar 2010 16:44:41 +0200] rev 36047

adding signature to Predicate_Compile_Aux; tuning Predicate_Compile_Aux structure

bulwahn [Wed, 31 Mar 2010 16:44:41 +0200] rev 36046

putting compilation setup of predicate compiler in a separate file

huffman [Tue, 30 Mar 2010 15:46:50 -0700] rev 36045

simplify fold_graph proofs

krauss [Tue, 30 Mar 2010 23:12:55 +0200] rev 36044

NEWS

krauss [Tue, 30 Mar 2010 15:25:35 +0200] rev 36043

removed dead code; fixed typo

krauss [Tue, 30 Mar 2010 15:25:30 +0200] rev 36042

switched PThm/PAxm etc. to use canonical order of type variables (term variables unchanged)

wenzelm [Tue, 30 Mar 2010 12:47:39 +0200] rev 36041

merged

bulwahn [Mon, 29 Mar 2010 17:30:56 +0200] rev 36040

adding skip_proof in the examples because proof procedure cannot handle alternative compilations yet

bulwahn [Mon, 29 Mar 2010 17:30:55 +0200] rev 36039

tuned

isabelle