| changeset 43761 | e72ba84ae58f |
| parent 34313 | 2f890016afab |
| child 43762 | 50ce6f602931 |
| 43760:ef8375a4dae4 | 43761:e72ba84ae58f |
|---|---|
1 /* Title: Pure/General/exn.scala |
1 /* Title: Pure/General/exn.scala |
2 Author: Makarius |
2 Author: Makarius |
3 |
3 |
4 Extra support for exceptions (arbitrary throwables). |
4 Support for exceptions (arbitrary throwables). |
5 */ |
5 */ |
6 |
6 |
7 package isabelle |
7 package isabelle |
8 |
8 |
9 |
9 |