src/FOL/fologic.ML
2011-08-17 wenzelm modernized signature of Term.absfree/absdummy;
2010-12-20 wenzelm proper identifiers for consts and types;
2010-08-17 haftmann more antiquotations
2009-08-29 wenzelm eliminated hard tabs;
2009-07-09 wenzelm removed obsolete CVS Ids;
2008-06-23 wenzelm removed obsolete dest_concls;
2001-10-04 wenzelm added dest_conj, dest_concls;
2000-11-03 wenzelm removed atomic_Trueprop (now in Pure/Isar/auto_bind.ML);
2000-09-05 wenzelm added not;
2000-08-07 paulson new abstract syntax operations, used in ZF
2000-07-30 wenzelm added atomic_Trueprop;
1999-10-04 wenzelm added mk_conj, mk_disj, mk_imp;
1999-01-19 paulson tidied; added dest_eq
1997-12-23 paulson Better equality handling in Blast_tac, usingd a new variant of hyp_subst_tac
1997-12-03 paulson Instantiated the one-point-rule quantifier simpprocs for FOL
less more (0) tip