Moved some of the clausify functions from ATP/res_clasimpset.ML to res_axioms.ML.
Changed watcher.ML so that the Unix.execute and Unix.reap functions are used instead of those in modUnix.ML, and
consequently removed modUnix.ML from Reconstruction.thy
* May 2005: Rafal Kolanski, NICTA
Substantially improved retrieval of facts from theory/proof context.
* May 2005: Florian Haftmann, TUM
Several new antiquotation.
$Id$