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