spelling;
authorwenzelm
Wed Aug 11 18:22:14 2010 +0200 (2010-08-11 ago)
changeset 383524c8bcb826e83
parent 38351 ea1ee55aa41f
child 38353 d98baa2cf589
spelling;
src/Pure/Isar/class.ML
     1.1 --- a/src/Pure/Isar/class.ML	Wed Aug 11 18:17:53 2010 +0200
     1.2 +++ b/src/Pure/Isar/class.ML	Wed Aug 11 18:22:14 2010 +0200
     1.3 @@ -7,7 +7,7 @@
     1.4  signature CLASS =
     1.5  sig
     1.6    include CLASS_TARGET
     1.7 -    (*FIXME the split into class_target.ML, Named_Target.ML and
     1.8 +    (*FIXME the split into class_target.ML, named_target.ML and
     1.9        class.ML is artificial*)
    1.10  
    1.11    val class: binding -> class list -> Element.context_i list