src/HOL/Tools/ATP/watcher.ML
2005-04-07 quigley 2005-04-07 Changed prob1.dfg to prob_1.dfg
2005-04-06 quigley 2005-04-06 watcher.ML and watcher.sig changed. Debug files now write to tmp.
2005-04-04 quigley 2005-04-04 CVSfj  ------------------------------------------------------------------- --------------------------------------------------------------- Temporarily added until res_axioms.ML is altered.
2005-03-31 quigley 2005-03-31 *** empty log message ***