src/Tools/Metis/make-metis
2009-09-29 wenzelm 2009-09-29 explicit indication of Unsynchronized.ref;
2009-02-28 wenzelm 2009-02-28 removed Ids;
2007-11-13 paulson 2007-11-13 patching in the latest changes from Hurd
2007-06-21 wenzelm 2007-06-21 renamed metis-env.ML to metis_env.ML;
2007-06-21 wenzelm 2007-06-21 renamed metis-env to metis-env.ML;
2007-06-20 wenzelm 2007-06-20 The Metis prover (slightly modified version from Larry);