src/FOL/fologic.ML
Tue, 21 Sep 2021 13:14:18 +0200 wenzelm clarified antiquotations;
Sun, 19 Sep 2021 21:55:11 +0200 wenzelm clarified signature;
Sun, 19 Sep 2021 21:47:10 +0200 wenzelm clarified antiquotations;
Sun, 19 Sep 2021 21:37:14 +0200 wenzelm clarified signature -- prefer antiquotations (with subtle change of exception content);
Sat, 11 Sep 2021 21:58:02 +0200 wenzelm more antiquotations;
Fri, 04 Jan 2019 23:22:53 +0100 wenzelm isabelle update -u control_cartouches;
Wed, 17 Aug 2011 18:05:31 +0200 wenzelm modernized signature of Term.absfree/absdummy;
Mon, 20 Dec 2010 16:44:33 +0100 wenzelm proper identifiers for consts and types;
Tue, 17 Aug 2010 19:36:39 +0200 haftmann more antiquotations
Sat, 29 Aug 2009 12:01:25 +0200 wenzelm eliminated hard tabs;
Thu, 09 Jul 2009 22:09:58 +0200 wenzelm removed obsolete CVS Ids;
Mon, 23 Jun 2008 15:51:37 +0200 wenzelm removed obsolete dest_concls;
Thu, 04 Oct 2001 14:49:38 +0200 wenzelm added dest_conj, dest_concls;
Fri, 03 Nov 2000 21:31:53 +0100 wenzelm removed atomic_Trueprop (now in Pure/Isar/auto_bind.ML);
Tue, 05 Sep 2000 18:45:51 +0200 wenzelm added not;
less more (0) -15 tip