src/Pure/Isar/constdefs.ML

--- a/src/Pure/Isar/constdefs.ML	Wed Jan 25 00:21:36 2006 +0100
+++ b/src/Pure/Isar/constdefs.ML	Wed Jan 25 00:21:37 2006 +0100
@@ -2,7 +2,7 @@
     ID:         $Id$
     Author:     Makarius, Hagia Maria Sion Abbey (Jerusalem)
 
-Standard constant definitions, with type-inference and optional
+Old-style constant definitions, with type-inference and optional
 structure context; specifications need to observe strictly sequential
 dependencies; no support for overloading.
 *)