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.
whitespace tuning
authorhaftmann
Thu, 16 Apr 2009 14:02:14 +0200
changeset 30937 1fe5a573b552
parent 30936 d13cecf4ed4c
child 30938 c6c9359e474c
whitespace tuning
src/Provers/Arith/cancel_div_mod.ML file | annotate | diff | comparison | revisions 
--- a/src/Provers/Arith/cancel_div_mod.ML	Thu Apr 16 14:02:13 2009 +0200
+++ b/src/Provers/Arith/cancel_div_mod.ML	Thu Apr 16 14:02:14 2009 +0200
@@ -69,7 +69,7 @@
 
 fun cancel ss t pq =
   let val teqt' = Data.prove_eq_sums ss (t, rearrange t pq)
-  in hd(Data.div_mod_eqs RL [teqt' RS transitive_thm]) end;
+  in hd (Data.div_mod_eqs RL [teqt' RS transitive_thm]) end;
 
 fun proc ss t =
   let val (divs,mods) = coll_div_mod t ([],[])
isabelle