src/Pure/Isar/locale.ML
changeset 28893 4e6fd31c9883
parent 28865 194e8f3439fe
child 28927 7e631979922f
     1.1 --- a/src/Pure/Isar/locale.ML	Tue Nov 25 23:29:26 2008 +0100
     1.2 +++ b/src/Pure/Isar/locale.ML	Thu Nov 27 10:26:00 2008 +0100
     1.3 @@ -2014,7 +2014,7 @@
     1.4  (** Normalisation of locale statements ---
     1.5      discharges goals implied by interpretations **)
     1.6  
     1.7 -                                    local
     1.8 +local
     1.9  
    1.10  fun locale_assm_intros thy =
    1.11    Symtab.fold (fn (_, {intros = (a, _), ...}) => fn intros => (a @ intros))