2005-11-16 | wenzelm | added protect_cong, cong_mono_thm; | changeset | files |
2005-11-16 | wenzelm | induct: support local definitions to be passed through the induction; | changeset | files |
2005-11-16 | wenzelm | Trueprop: use ObjectLogic.judgment etc.; | changeset | files |
2005-11-16 | wenzelm | Term.betapply; | changeset | files |
2005-11-16 | paulson | new version of "tryres" allowing multiple unifiers (apparently needed for | changeset | files |
2005-11-16 | wenzelm | pgmlsymbolson: append Symbol.xsymbolsN at end! | changeset | files |
2005-11-15 | wenzelm | better no -d option; | changeset | files |
Loading... |