src/HOL/Library/sum_of_squares.ML
Tue, 09 Jun 2009 11:10:33 +0200 chaieb Tuned sos tactic to reject non SOS goals
Wed, 13 May 2009 17:13:33 +0100 chaieb Now deals with division
Tue, 12 May 2009 17:32:49 +0100 chaieb A decision method for universal multivariate real arithmetic with add
less more (0) tip