| Mon, 11 Jun 2007 11:06:00 +0200 | chaieb | A new and cleaned up Theory for QE. for Presburger arithmetic | changeset | files |
| Mon, 11 Jun 2007 11:05:59 +0200 | chaieb | Added new files for Presburger (cooper_data.ML, cooper.ML) and deleted old unused ones cooper_dec, cooper_proof, reflected_cooper etc.. | changeset | files |
| Mon, 11 Jun 2007 11:05:57 +0200 | chaieb | explicitely depends on file groebner.ML | changeset | files |
| Mon, 11 Jun 2007 11:05:56 +0200 | chaieb | Context Data for the new presburger Method | changeset | files |
| Mon, 11 Jun 2007 11:05:54 +0200 | chaieb | A new simpler and cleaner implementation of proof Synthesis for Presburger Arithmetic --- Cooper's Algorithm | changeset | files |
| Mon, 11 Jun 2007 07:10:06 +0200 | huffman | remove references to constant int::nat=>int | changeset | files |