src/HOL/blastdata.ML
Sun, 14 Oct 2001 20:02:59 +0200 wenzelm improved atomize setup;
Tue, 16 Jan 2001 00:28:50 +0100 wenzelm tuned atomize;
Fri, 10 Nov 2000 19:00:22 +0100 wenzelm val atomize = thms "atomize'";
Fri, 04 Aug 2000 22:57:25 +0200 wenzelm val atomize = 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:49:02 +0200 wenzelm proper bootstrap of HOL theory and packages;
less more (0) tip