src/Pure/General/exn.scala

--- a/src/Pure/General/exn.scala	Mon Jul 11 22:50:29 2011 +0200
+++ b/src/Pure/General/exn.scala	Mon Jul 11 22:55:47 2011 +0200
@@ -1,7 +1,7 @@
 /*  Title:      Pure/General/exn.scala
     Author:     Makarius
 
-Extra support for exceptions (arbitrary throwables).
+Support for exceptions (arbitrary throwables).
 */
 
 package isabelle