src/Pure/Syntax/syn_ext.ML
changeset 12785 27debaf2112d
parent 12513 0ffb824dc95c
child 12865 6b3484b8d572
     1.1 --- a/src/Pure/Syntax/syn_ext.ML	Wed Jan 16 23:18:20 2002 +0100
     1.2 +++ b/src/Pure/Syntax/syn_ext.ML	Wed Jan 16 23:19:34 2002 +0100
     1.3 @@ -1,6 +1,7 @@
     1.4  (*  Title:      Pure/Syntax/syn_ext.ML
     1.5      ID:         $Id$
     1.6      Author:     Markus Wenzel and Carsten Clasohm, TU Muenchen
     1.7 +    License:    GPL (GNU GENERAL PUBLIC LICENSE)
     1.8  
     1.9  Syntax extension (internal interface).
    1.10  *)