src/Pure/Isar/rule_insts.ML
2006-09-06 wenzelm 2006-09-06 read_instantiate: declare names of TVars as well (temporary workaround for no-freeze feature of type inference);
2006-08-05 wenzelm 2006-08-05 reworked read_instantiate -- separate read_insts;
2006-08-03 wenzelm 2006-08-03 Rule instantiations -- operations within a rule/subgoal context.