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