# HG changeset patch
# User wenzelm
# Date 1129911298 -7200
# Node ID b48885914c1dd29915b960155b2f266c80fa19d1
# Parent  d2884c6522ccfbdcd56e1bdab6c2c75ca9137665
tuned header;

diff -r d2884c6522cc -r b48885914c1d src/Pure/Isar/thy_header.ML
--- a/src/Pure/Isar/thy_header.ML	Fri Oct 21 18:14:57 2005 +0200
+++ b/src/Pure/Isar/thy_header.ML	Fri Oct 21 18:14:58 2005 +0200
@@ -2,7 +2,7 @@
     ID:         $Id$
     Author:     Markus Wenzel, TU Muenchen
 
-Theory headers.
+Theory headers -- processed separately with minimal outer syntax.
 *)
 
 signature THY_HEADER =