src/HOL/blastdata.ML
2001-01-16 wenzelm 2001-01-16 tuned atomize;
2000-11-10 wenzelm 2000-11-10 val atomize = thms "atomize'";
2000-08-04 wenzelm 2000-08-04 val atomize = thms "atomize";
2000-08-01 wenzelm 2000-08-01 handle actual object-logic rules by atomizing the goal;
1999-08-25 wenzelm 1999-08-25 proper bootstrap of HOL theory and packages;