src/HOL/meson_lemmas.ML
2000-09-15 paulson 2000-09-15 the final renaming: selectI -> someI
2000-09-05 wenzelm 2000-09-05 improved meson setup;