src/HOL/blastdata.ML
2005-12-30 wenzelm 2005-12-30 provide equality_name, not_name;
2005-11-14 paulson 2005-11-14 removal of is_hol
2005-07-12 paulson 2005-07-12 experimental code to reduce the amount of type information in blast
2002-08-30 paulson 2002-08-30 removal of blast.overloaded
2001-10-14 wenzelm 2001-10-14 improved atomize setup;
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;