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
authorhaftmann
Wed, 01 Jan 2014 01:05:30 +0100
changeset 54888 6edabf38d929
parent 54887 83bf0ae03c50
child 54889 4121d64fde90
tuned whitespace
src/Pure/Isar/code.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/code.ML	Wed Jan 01 01:05:30 2014 +0100
+++ b/src/Pure/Isar/code.ML	Wed Jan 01 01:05:30 2014 +0100
@@ -1096,7 +1096,8 @@
     | NONE => thy;
 
 fun del_eqn thm thy = case mk_eqn_liberal thy thm
- of SOME (thm, _) => let
+ of SOME (thm, _) =>
+      let
         fun del_eqn' (Default _) = initial_fun_spec
           | del_eqn' (Eqns eqns) =
               Eqns (filter_out (fn (thm', _) => Thm.eq_thm_prop (thm, thm')) eqns)
isabelle