src/HOL/Tools/Meson/meson.ML
2011-04-14 blanchet 2011-04-14 remove experimental code added in 85bb6fbb8e6a
2011-04-14 blanchet 2011-04-14 experiment with definitional CNF
2010-11-26 blanchet 2010-11-26 renamed "trace_me{son,tis}" and "verbose_metis" to have the name of the tool first
2010-10-29 blanchet 2010-10-29 ensure that MESON correctly preserves the name of variables (needed by the new Skolemizer)
2010-10-11 blanchet 2010-10-11 added "trace_meson" configuration option, replacing old-fashioned reference
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-05 blanchet 2010-10-05 got rid of overkill "meson_choice" attribute; tuning
2010-10-04 blanchet 2010-10-04 move Meson to Plain
2010-10-04 blanchet 2010-10-04 move MESON files together