src/HOL/MetisExamples/ROOT.ML
2007-12-19 wenzelm 2007-12-19 simultaneous use_thys;
2007-06-21 paulson 2007-06-21 integration of Metis prover