TFL/usyntax.ML
2002-05-28 berghofe 2002-05-28 Eps -> Hilbert_Choice.Eps
2001-12-03 wenzelm 2001-12-03 HOLogic.typeS;
2001-01-03 wenzelm 2001-01-03 renamed .sml files to .ML; proper handling of Isabelle exceptions; tuned;