src/HOL/Metis.thy
2010-12-15 blanchet 2010-12-15 added Sledgehammer support for higher-order propositional reasoning
2010-12-07 blanchet 2010-12-07 load "try" after "Metis" and move "Async_Manager" back to Sledgehammer
2010-10-11 blanchet 2010-10-11 "setup" in theory
2010-10-05 blanchet 2010-10-05 hide one more name
2010-10-05 blanchet 2010-10-05 hide uninteresting MESON/Metis constants and facts and remove "meson_" prefix to (now hidden) fact names
2010-10-04 blanchet 2010-10-04 tuning
2010-10-04 blanchet 2010-10-04 move Metis into Plain
2007-06-20 wenzelm 2007-06-20 The Metis prover (slightly modified version from Larry);