2005-11-23 wenzelm (co)induct: taking;
2005-11-23 wenzelm RuleCases.case_conclusion;
2005-11-23 wenzelm tuned;
2005-11-23 wenzelm added case_conclusion attribute;
2005-11-23 haftmann improved failure tracking
2005-11-22 wenzelm Datatype_Universe: hide base names only;
2005-11-22 wenzelm added type cases/cases_tactic, and CASES, SUBGOAL_CASES;
2005-11-22 wenzelm cases_tactic;
2005-11-22 wenzelm moved multi_resolve(s) to drule.ML;
2005-11-22 wenzelm find_xxxS: term instead of thm;
2005-11-22 wenzelm export map_tags;
2005-11-22 wenzelm make coinduct actually work;
2005-11-22 wenzelm Drule.multi_resolves;
2005-11-22 wenzelm declare coinduct rule;
Loading...
(0) -10000 -3000 -1000 -300 -100 -14 +14 +100 +300 +1000 +3000 +10000 +30000 tip