tuned lowercase
authorhaftmann
Wed Aug 11 14:54:10 2010 +0200 (2010-08-11 ago)
changeset 3837543a765bc7ff0
parent 38350 480b2de9927c
child 38376 dc67291d590b
tuned lowercase
src/Pure/Isar/class.ML
     1.1 --- a/src/Pure/Isar/class.ML	Wed Aug 11 14:45:38 2010 +0200
     1.2 +++ b/src/Pure/Isar/class.ML	Wed Aug 11 14:54:10 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