--- a/src/HOL/Library/Sum_of_Squares.thy Mon May 02 13:29:47 2011 +0200
+++ b/src/HOL/Library/Sum_of_Squares.thy Mon May 02 16:33:21 2011 +0200
@@ -38,7 +38,6 @@
the proof without calling an external prover.
*}
-setup Sum_of_Squares.setup
setup SOS_Wrapper.setup
text {* Tests *}