src/HOL/Tools/ATP/recon_prelim.ML
2005-04-07 quigley 2005-04-07 Got rid of Main.thy reference
2005-03-31 quigley 2005-03-31 *** empty log message ***