src/Pure/Isar/expression.ML
changeset 32800 57fcca4e7c0e
parent 32074 76d6ba08a05f
child 32801 6f97a67e8da8
     1.1 --- a/src/Pure/Isar/expression.ML	Fri Aug 14 21:36:14 2009 +0200
     1.2 +++ b/src/Pure/Isar/expression.ML	Wed Aug 19 19:35:46 2009 +0200
     1.3 @@ -1,7 +1,7 @@
     1.4  (*  Title:      Pure/Isar/expression.ML
     1.5      Author:     Clemens Ballarin, TU Muenchen
     1.6  
     1.7 -Locale expressions.
     1.8 +Locale expressions and user interface layer of locales.
     1.9  *)
    1.10  
    1.11  signature EXPRESSION =