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
bulwahn [Mon, 22 Mar 2010 08:30:13 +0100] rev 35884
adding proof procedure for cases rule with tuples; adding introduction rule for negated premises; improving proof procedure with negated premises
bulwahn [Mon, 22 Mar 2010 08:30:13 +0100] rev 35883
enabling a previously broken example of the predicate compiler again
bulwahn [Mon, 22 Mar 2010 08:30:13 +0100] rev 35882
improving handling of case expressions in predicate rewriting
bulwahn [Mon, 22 Mar 2010 08:30:13 +0100] rev 35881
adding depth_limited_random compilation to predicate compiler
bulwahn [Mon, 22 Mar 2010 08:30:13 +0100] rev 35880
a new simpler random compilation for the predicate compiler