# HG changeset patch
# User haftmann
# Date 1265964568 -3600
# Node ID 0a3adceb9c6709cea52b3de2c52f8b55d30ad28e
# Parent  b271a8996f26df384e9c5a66c89a128043c1b1e1
tuned comments

diff -r b271a8996f26 -r 0a3adceb9c67 src/Pure/Isar/class.ML
--- a/src/Pure/Isar/class.ML	Thu Feb 11 23:50:38 2010 +0100
+++ b/src/Pure/Isar/class.ML	Fri Feb 12 09:49:28 2010 +0100
@@ -1,4 +1,4 @@
-(*  Title:      Pure/Isar/ML
+(*  Title:      Pure/Isar/class.ML
     Author:     Florian Haftmann, TU Muenchen
 
 Type classes derived from primitive axclasses and locales - interfaces.
@@ -132,7 +132,7 @@
       (Syntax.add_typ_check level name (fn xs => fn ctxt =>
         let val xs' = f xs in if eq_list (op =) (xs, xs') then NONE else SOME (xs', ctxt) end));
 
-    (* preprocessing elements, retrieving base sort from typechecked elements *)
+    (* preprocessing elements, retrieving base sort from type-checked elements *)
     val init_class_body = fold (ProofContext.add_const_constraint o apsnd SOME) base_constraints
       #> redeclare_operations thy sups
       #> add_typ_check 10 "reject_bcd_etc" reject_bcd_etc