src/FOL/blastdata.ML
Sun, 14 Oct 2001 19:59:55 +0200 wenzelm eliminated atomize rules;
Tue, 16 Jan 2001 00:28:50 +0100 wenzelm tuned atomize;
Fri, 10 Nov 2000 19:00:22 +0100 wenzelm val atomize = thms "atomize'";
Wed, 09 Aug 2000 20:43:03 +0200 wenzelm thms "atomize";
Tue, 01 Aug 2000 11:57:09 +0200 wenzelm handle actual object-logic rules by atomizing the goal;
Wed, 25 Aug 1999 20:45:19 +0200 wenzelm proper bootstrap of IFOL/FOL theories and packages;
less more (0) tip