src/HOL/Library/Sum_Of_Squares.thy
changeset 38805 b09d8603f865
parent 38136 bd4965bb7bdc
     1.1 --- a/src/HOL/Library/Sum_Of_Squares.thy	Fri Aug 27 17:02:19 2010 +0200
     1.2 +++ b/src/HOL/Library/Sum_Of_Squares.thy	Fri Aug 27 17:09:18 2010 +0200
     1.3 @@ -28,6 +28,7 @@
     1.4    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 *}