Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Decision_Procs/Commutative_Ring.thy
changeset 55793 52c8f934ea6f
parent 55754 d14072d53c1e
child 58249 180f1b3508ed 
--- a/src/HOL/Decision_Procs/Commutative_Ring.thy	Thu Feb 27 21:27:58 2014 +0100
+++ b/src/HOL/Decision_Procs/Commutative_Ring.thy	Thu Feb 27 21:31:58 2014 +0100
@@ -143,7 +143,7 @@
 | "pow n P =
     (if even n then pow (n div 2) (sqr P)
      else P \<otimes> pow (n div 2) (sqr P))"
-  
+
 lemma pow_if:
   "pow n P =
    (if n = 0 then Pc 1 else if even n then pow (n div 2) (sqr P)
isabelle