src/Pure/Isar/class.ML
changeset 36672 bd7f659f7de5
parent 36645 30bd207ec222
child 36674 d95f39448121
     1.1 --- a/src/Pure/Isar/class.ML	Tue May 04 21:04:04 2010 -0700
     1.2 +++ b/src/Pure/Isar/class.ML	Wed May 05 08:57:23 2010 +0200
     1.3 @@ -1,7 +1,7 @@
     1.4  (*  Title:      Pure/Isar/class.ML
     1.5      Author:     Florian Haftmann, TU Muenchen
     1.6  
     1.7 -Type classes derived from primitive axclasses and locales - interfaces.
     1.8 +Type classes derived from primitive axclasses and locales -- interfaces.
     1.9  *)
    1.10  
    1.11  signature CLASS =