2005-11-16 wenzelm added protect_cong, cong_mono_thm;
2005-11-16 wenzelm induct: support local definitions to be passed through the induction;
2005-11-16 wenzelm Trueprop: use ObjectLogic.judgment etc.;
2005-11-16 wenzelm Term.betapply;
2005-11-16 paulson new version of "tryres" allowing multiple unifiers (apparently needed for
2005-11-16 wenzelm pgmlsymbolson: append Symbol.xsymbolsN at end!
2005-11-15 wenzelm better no -d option;
Loading...
(0) -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip