src/FOL/hypsubstdata.ML
2010-09-06 wenzelm more antiquotations;
2008-07-14 krauss single_hyp(_meta)_subst_tac: Controlled substitution of a single hyp
2006-11-26 wenzelm converted legacy ML scripts;
2006-11-07 wenzelm tuned hypsubst setup;
2006-10-11 haftmann slight type signature changes
2001-12-04 wenzelm no need for hyp_subst_tac' (!?);
2001-12-03 wenzelm hyp_subst_tac';
2000-08-04 wenzelm rev_eq_reflection = meta_eq_to_obj_eq;
1999-08-25 wenzelm proper bootstrap of IFOL/FOL theories and packages;
less more (0) tip