Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Isar/locale.ML
changeset 28893 4e6fd31c9883
parent 28865 194e8f3439fe
child 28927 7e631979922f 
--- a/src/Pure/Isar/locale.ML	Tue Nov 25 23:29:26 2008 +0100
+++ b/src/Pure/Isar/locale.ML	Thu Nov 27 10:26:00 2008 +0100
@@ -2014,7 +2014,7 @@
 (** Normalisation of locale statements ---
     discharges goals implied by interpretations **)
 
-                                    local
+local
 
 fun locale_assm_intros thy =
   Symtab.fold (fn (_, {intros = (a, _), ...}) => fn intros => (a @ intros))
isabelle