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