isabelle: Changelog

wenzelm [Mon, 22 Mar 2010 19:23:03 +0100] rev 35894

added Specification.axiom convenience;

blanchet [Mon, 22 Mar 2010 15:07:07 +0100] rev 35893

detect OFCLASS() axioms in Nitpick; this is necessary now that "Thy.all_axioms_of" returns such axiom (starting with change 46cfc4b8112e)

bulwahn [Mon, 22 Mar 2010 13:48:15 +0100] rev 35892

merged

bulwahn [Mon, 22 Mar 2010 08:30:13 +0100] rev 35891

contextifying the compilation of the predicate compiler

bulwahn [Mon, 22 Mar 2010 08:30:13 +0100] rev 35890

removed unused Predicate_Compile_Set

bulwahn [Mon, 22 Mar 2010 08:30:13 +0100] rev 35889

avoiding fishing for split_asm rule in the predicate compiler

bulwahn [Mon, 22 Mar 2010 08:30:13 +0100] rev 35888

contextifying the proof procedure in the predicate compiler

isabelle