src/HOL/Tools/metis_tools.ML
2007-08-17 wenzelm 2007-08-17 turned type_lits into configuration option (with attribute);
2007-08-17 wenzelm 2007-08-17 proper signature for Meson;
2007-07-29 wenzelm 2007-07-29 metis_tac: proper context (ProofContext.init it *not* sufficient); simplified method setup;
2007-06-20 wenzelm 2007-06-20 tuned comments;
2007-06-20 wenzelm 2007-06-20 The Metis prover (slightly modified version from Larry);