src/HOL/Tools/Meson/meson_clausify.ML
2010-10-29 blanchet 2010-10-29 ensure that MESON correctly preserves the name of variables (needed by the new Skolemizer)
2010-10-29 blanchet 2010-10-29 more work on new Skolemizer without Hilbert_Choice
2010-10-29 blanchet 2010-10-29 fix cluster numbering in the absense of Hilbert_Choice (reverts acde1b606b0e, effectively reintroducing most of 0bfaaa81fc62)
2010-10-06 blanchet 2010-10-06 qualify "Meson." and "Metis." constants so that the ML files can be reloaded later (e.g. for testing/development)
2010-10-05 blanchet 2010-10-05 got rid of overkill "meson_choice" attribute; tuning
2010-10-05 blanchet 2010-10-05 more explicit name
2010-10-05 blanchet 2010-10-05 factor out "Meson_Tactic" from "Meson_Clausify"
2010-10-04 blanchet 2010-10-04 move Meson to Plain
2010-10-04 blanchet 2010-10-04 move MESON files together