Mon, 22 Mar 2010 00:48:56 +0100 | wenzelm | replaced PureThy.add_axioms by more basic Drule.add_axiom, which is old-style nonetheless; | changeset | files |
Sun, 21 Mar 2010 22:24:04 +0100 | wenzelm | add_axiom: axiomatize "unconstrained" version, with explicit of_class premises; | changeset | files |