src/Pure/Isar/class.ML

--- a/src/Pure/Isar/class.ML	Tue May 04 21:04:04 2010 -0700
+++ b/src/Pure/Isar/class.ML	Wed May 05 08:57:23 2010 +0200
@@ -1,7 +1,7 @@
 (*  Title:      Pure/Isar/class.ML
     Author:     Florian Haftmann, TU Muenchen
 
-Type classes derived from primitive axclasses and locales - interfaces.
+Type classes derived from primitive axclasses and locales -- interfaces.
 *)
 
 signature CLASS =