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