src/Pure/pure_syn.ML

--- a/src/Pure/pure_syn.ML	Sun Jul 07 10:24:00 2013 +0200
+++ b/src/Pure/pure_syn.ML	Sun Jul 07 17:30:16 2013 +0200
@@ -1,7 +1,7 @@
 (*  Title:      Pure/pure_syn.ML
     Author:     Makarius
 
-Minimal outer syntax for bootstrapping Pure.
+Minimal outer syntax for bootstrapping Isabelle/Pure.
 *)
 
 structure Pure_Syn: sig end =