src/HOL/Tools/ATP/recon_translate_proof.ML
2005-04-06 ago watcher.ML and watcher.sig changed. Debug files now write to tmp.
2005-03-31 ago *** empty log message ***