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
bulwahn [Mon, 22 Mar 2010 08:30:13 +0100] rev 35887
making flat triples to nested tuple to remove general triple functions
bulwahn [Mon, 22 Mar 2010 08:30:13 +0100] rev 35886
reduced the debug output functions from 2 to 1
bulwahn [Mon, 22 Mar 2010 08:30:13 +0100] rev 35885
some improvements thanks to Makarius source code review