src/HOL/Tools/ATP/remchars.pl
2005-04-06 quigley 2005-04-06 watcher.ML and watcher.sig changed. Debug files now write to tmp.