tuned whitespace
authorhuffman
Wed Feb 22 17:33:53 2012 +0100 (2012-02-22)
changeset 46593c96bd702d1dd
parent 46588 4895d7f1be42
child 46594 f11f332b964f
tuned whitespace
src/HOL/Library/Sum_of_Squares.thy
     1.1 --- a/src/HOL/Library/Sum_of_Squares.thy	Wed Feb 22 12:30:01 2012 +0100
     1.2 +++ b/src/HOL/Library/Sum_of_Squares.thy	Wed Feb 22 17:33:53 2012 +0100
     1.3 @@ -165,4 +165,3 @@
     1.4  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)))))")
     1.5  
     1.6  end
     1.7 -