src/HOL/Tools/meson.ML
2002-05-07 wenzelm 2002-05-07 use eq_thm_prop instead of slightly inadequate eq_thm;
2001-11-26 wenzelm 2001-11-26 moved lemmas to theory Hilbert_Choice;
2001-01-07 wenzelm 2001-01-07 CHANGED_PROP;
2000-09-05 wenzelm 2000-09-05 improved meson setup;
2000-09-05 paulson 2000-09-05 meson.ML moved from HOL/ex to HOL/Tools: meson_tac installed by default