src/Pure/Isar/constdefs.ML
changeset 18779 a9f41c380b2f
parent 18765 97911ffe9222
child 18873 11c92ec2c29c
     1.1 --- a/src/Pure/Isar/constdefs.ML	Wed Jan 25 00:21:36 2006 +0100
     1.2 +++ b/src/Pure/Isar/constdefs.ML	Wed Jan 25 00:21:37 2006 +0100
     1.3 @@ -2,7 +2,7 @@
     1.4      ID:         $Id$
     1.5      Author:     Makarius, Hagia Maria Sion Abbey (Jerusalem)
     1.6  
     1.7 -Standard constant definitions, with type-inference and optional
     1.8 +Old-style constant definitions, with type-inference and optional
     1.9  structure context; specifications need to observe strictly sequential
    1.10  dependencies; no support for overloading.
    1.11  *)