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.
dropped void space
authorhaftmann
Thu, 06 Dec 2007 15:10:12 +0100
changeset 25558 5c317e8f5673
parent 25557 ea6b11021e79
child 25559 f14305fb698c
dropped void space
src/HOL/Tools/function_package/fundef_common.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/function_package/fundef_common.ML	Thu Dec 06 15:10:09 2007 +0100
+++ b/src/HOL/Tools/function_package/fundef_common.ML	Thu Dec 06 15:10:12 2007 +0100
@@ -302,7 +302,7 @@
 
 
 local 
-  structure P = OuterParse and K = OuterKeyword 
+  structure P = OuterParse and K = OuterKeyword
 
   val option_parser = (P.reserved "sequential" >> K Sequential)
                    || ((P.reserved "default" |-- P.term) >> Default)
isabelle