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
authorhuffman
Wed, 22 Feb 2012 17:33:53 +0100
changeset 46593 c96bd702d1dd
parent 46588 4895d7f1be42
child 46594 f11f332b964f
tuned whitespace
src/HOL/Library/Sum_of_Squares.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Library/Sum_of_Squares.thy	Wed Feb 22 12:30:01 2012 +0100
+++ b/src/HOL/Library/Sum_of_Squares.thy	Wed Feb 22 17:33:53 2012 +0100
@@ -165,4 +165,3 @@
 by (sos_cert "((((((A<0 * A<1) * R<1) + ([~4] * A=0))) & ((((A<0 * A<1) * R<1) + ([4] * A=0)))) & (((((A<0 * A<1) * R<1) + ([4] * A=0))) & ((((A<0 * A<1) * R<1) + ([~4] * A=0)))))")
 
 end
-
isabelle