src/HOL/ex/unsolved.ML
1996-09-26 paulson 1996-09-26 Ran expandshort
1996-03-15 paulson 1996-03-15 New safe_meson_tac proves some harder theorems
1996-01-30 clasohm 1996-01-30 expanded tabs
1995-03-22 clasohm 1995-03-22 converted ex with curried function application