src/FOL/fologic.ML
Mon, 07 Aug 2000 10:26:02 +0200 paulson new abstract syntax operations, used in ZF
Sun, 30 Jul 2000 13:02:14 +0200 wenzelm added atomic_Trueprop;
Mon, 04 Oct 1999 21:35:26 +0200 wenzelm added mk_conj, mk_disj, mk_imp;
Tue, 19 Jan 1999 11:16:39 +0100 paulson tidied; added dest_eq
Tue, 23 Dec 1997 11:39:03 +0100 paulson Better equality handling in Blast_tac, usingd a new variant of hyp_subst_tac
Wed, 03 Dec 1997 10:48:16 +0100 paulson Instantiated the one-point-rule quantifier simpprocs for FOL
less more (0) tip