src/Pure/ML-Systems/exn.ML
2007-07-24 wenzelm 2007-07-24 Runtime exceptions as values (from library.ML);