src/Pure/ML-Systems/exn.ML
2009-01-19 wenzelm 2009-01-19 removed Ids;
2008-10-02 wenzelm 2008-10-02 simplified Exn.EXCEPTIONS, flatten nested occurrences;
2008-10-01 wenzelm 2008-10-01 more robust treatment of Interrupt; added release_all, release_first; proper signature;
2007-07-24 wenzelm 2007-07-24 Runtime exceptions as values (from library.ML);