Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Fri, 18 Apr 2008 23:49:44 +0200
changeset 26721 069646111088
parent 26720 8d1925ad0dac
child 26722 a239220108a5
tuned;
src/Pure/Isar/element.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/element.ML	Fri Apr 18 23:49:40 2008 +0200
+++ b/src/Pure/Isar/element.ML	Fri Apr 18 23:49:44 2008 +0200
@@ -174,7 +174,7 @@
 
     fun prt_var (x, SOME T) = Pretty.block [Pretty.str (x ^ " ::"), Pretty.brk 1, prt_typ T]
       | prt_var (x, NONE) = Pretty.str x;
-    val prt_vars =  separate (Pretty.keyword "and") o map prt_var;
+    val prt_vars = separate (Pretty.keyword "and") o map prt_var;
 
     fun prt_obtain (_, ([], ts)) = Pretty.block (Pretty.breaks (prt_terms ts))
       | prt_obtain (_, (xs, ts)) = Pretty.block (Pretty.breaks
isabelle