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