Mon, 22 Mar 2010 08:30:13 +0100 | bulwahn | removed unused Predicate_Compile_Set | changeset | files |
Mon, 22 Mar 2010 08:30:13 +0100 | bulwahn | avoiding fishing for split_asm rule in the predicate compiler | changeset | files |
Mon, 22 Mar 2010 08:30:13 +0100 | bulwahn | contextifying the proof procedure in the predicate compiler | changeset | files |