| Wed, 09 Aug 2000 21:02:45 +0200 | wenzelm | thms closure; | changeset | files |
| Wed, 09 Aug 2000 21:02:21 +0200 | wenzelm | res_inst: include non-inst versions with multiple thms; | changeset | files |
| Wed, 09 Aug 2000 21:00:22 +0200 | wenzelm | added get_thms_closure, single_thm; | changeset | files |
| Wed, 09 Aug 2000 20:59:23 +0200 | wenzelm | fixed classification of rules in atts and modifiers (final!?); | changeset | files |
| Wed, 09 Aug 2000 20:46:58 +0200 | wenzelm | fixed mk_cases_i: TRYALL InductMethod.simp_case_tac; | changeset | files |
| Wed, 09 Aug 2000 20:43:03 +0200 | wenzelm | thms "atomize"; | changeset | files |
| Wed, 09 Aug 2000 17:10:41 +0200 | bauerg | tuned; | changeset | files |