src/HOL/thy_syntax.ML
changeset 12050 6934c005aec4
parent 11822 122834177ec1
child 12180 91c9f661b183
     1.1 --- a/src/HOL/thy_syntax.ML	Sun Nov 04 21:00:28 2001 +0100
     1.2 +++ b/src/HOL/thy_syntax.ML	Sun Nov 04 21:12:03 2001 +0100
     1.3 @@ -2,7 +2,7 @@
     1.4      ID:         $Id$
     1.5      Author:     Markus Wenzel and Lawrence C Paulson and Carsten Clasohm
     1.6  
     1.7 -Additional theory file sections for HOL.
     1.8 +Additional sections for *old-style* theory files in HOL.
     1.9  *)
    1.10  
    1.11  local