src/HOL/Library/Sum_of_Squares.thy
changeset 42616 92715b528e78
parent 41950 134131d519c0
child 46593 c96bd702d1dd
     1.1 --- a/src/HOL/Library/Sum_of_Squares.thy	Mon May 02 13:29:47 2011 +0200
     1.2 +++ b/src/HOL/Library/Sum_of_Squares.thy	Mon May 02 16:33:21 2011 +0200
     1.3 @@ -38,7 +38,6 @@
     1.4    the proof without calling an external prover.
     1.5  *}
     1.6  
     1.7 -setup Sum_of_Squares.setup
     1.8  setup SOS_Wrapper.setup
     1.9  
    1.10  text {* Tests *}