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 whitespace;
authorwenzelm
Wed, 02 Apr 2014 13:53:32 +0200
changeset 56362 720414857a12
parent 56361 9f9f60f4dbbf
child 56363 89e0264adf79
tuned whitespace;
src/HOL/Tools/Ctr_Sugar/case_translation.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/Ctr_Sugar/case_translation.ML	Wed Apr 02 13:54:50 2014 +0200
+++ b/src/HOL/Tools/Ctr_Sugar/case_translation.ML	Wed Apr 02 13:53:32 2014 +0200
@@ -599,7 +599,7 @@
   then map (fn t => if can Term.type_of t then strip_case_full ctxt true t else t) ts
   else ts;
 
-val _ = Context.>>  (Syntax_Phases.term_uncheck 1 "case" uncheck_case);
+val _ = Context.>> (Syntax_Phases.term_uncheck 1 "case" uncheck_case);
 
 
 (* outer syntax commands *)
isabelle