TFL/dcterm.ML
2005-04-07 wenzelm 2005-04-07 reverted renaming of Some/None in comments and strings;
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2002-05-28 berghofe 2002-05-28 Eps -> Hilbert_Choice.Eps
2001-01-03 wenzelm 2001-01-03 renamed .sml files to .ML; proper handling of Isabelle exceptions; tuned;