src/HOL/blastdata.ML
1999-08-25 wenzelm 1999-08-25 proper bootstrap of HOL theory and packages;