| Tue, 12 May 2009 17:09:35 +0200 | haftmann | added dummy values keyword | changeset | files |
| Tue, 12 May 2009 16:11:36 +0200 | haftmann | tuned exception code | changeset | files |
| Tue, 12 May 2009 17:32:50 +0100 | chaieb | A generic arithmetic prover based on Positivstellensatz certificates --- also implements Fourrier-Motzkin elimination as a special case Fourrier-Motzkin elimination | changeset | files |
| Tue, 12 May 2009 17:32:49 +0100 | chaieb | A decision method for universal multivariate real arithmetic with add | changeset | files |
| Tue, 12 May 2009 17:32:49 +0100 | chaieb | Isolated decision procedure for noms and the general arithmetic solver | changeset | files |
| Tue, 12 May 2009 17:32:49 +0100 | chaieb | Added files Sum_Of_Squares.thy, positivstellensatz.ML and sum_of_squares.ML to Library | changeset | files |
| Mon, 11 May 2009 21:55:30 -0700 | huffman | merged | changeset | files |