Thu, 03 Aug 2006 17:30:44 +0200 | wenzelm | Rule instantiations -- operations within a rule/subgoal context. | changeset | files |
Thu, 03 Aug 2006 17:30:43 +0200 | wenzelm | moved bires_inst_tac etc. to rule_insts.ML; | changeset | files |
Thu, 03 Aug 2006 17:30:42 +0200 | wenzelm | moved read_instantiate etc. to rule_insts.ML; | changeset | files |
Thu, 03 Aug 2006 17:30:41 +0200 | wenzelm | added Isar/rule_insts.ML; | changeset | files |
Thu, 03 Aug 2006 17:30:40 +0200 | wenzelm | removed obsolete commute, map_list; | changeset | files |
Thu, 03 Aug 2006 17:30:39 +0200 | wenzelm | removed obsolete add_term_tvarnames; | changeset | files |