lib/Tools/fixsome
2000-11-22 wenzelm 2000-11-22 tuned;
2000-09-15 wenzelm 2000-09-15 tuned;
2000-09-15 wenzelm 2000-09-15 fix theorem names related to SOME (Eps) in HOL;