src/Pure/ML-Systems/exn.ML
2009-07-21 wenzelm 2009-07-21 added flatten/flatten_list -- supercedes internal plain_exns; represent empty failure as EXCEPTIONS [] instead of Interrupt;
2009-06-04 wenzelm 2009-06-04 reraise exceptions to preserve original position (ML system specific);
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);