2010-03-22 | wenzelm | added Specification.axiom convenience; | changeset | files |
2010-03-22 | blanchet | detect OFCLASS() axioms in Nitpick; | changeset | files |
2010-03-22 | bulwahn | merged | changeset | files |
2010-03-22 | bulwahn | contextifying the compilation of the predicate compiler | changeset | files |
2010-03-22 | bulwahn | removed unused Predicate_Compile_Set | changeset | files |
2010-03-22 | bulwahn | avoiding fishing for split_asm rule in the predicate compiler | changeset | files |
Loading... |