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