# HG changeset patch
# User haftmann
# Date 1281531250 -7200
# Node ID 43a765bc7ff0a071f2c9e142ff25ea3a9ee47da1
# Parent  480b2de9927c76c8f45833bbbdb5cda650f37748
tuned lowercase

diff -r 480b2de9927c -r 43a765bc7ff0 src/Pure/Isar/class.ML
--- a/src/Pure/Isar/class.ML	Wed Aug 11 14:45:38 2010 +0200
+++ b/src/Pure/Isar/class.ML	Wed Aug 11 14:54:10 2010 +0200
@@ -7,7 +7,7 @@
 signature CLASS =
 sig
   include CLASS_TARGET
-    (*FIXME the split into class_target.ML, Named_Target.ML and
+    (*FIXME the split into class_target.ML, named_target.ML and
       class.ML is artificial*)
 
   val class: binding -> class list -> Element.context_i list