| Sun, 13 Nov 2005 20:33:36 +0100 | urbanc | exchanged HOL_ss for HOL_basic_ss in the simplification | changeset | files |
| Fri, 11 Nov 2005 10:50:43 +0100 | chaieb | a proof step corrected due to the changement in the presburger method. | changeset | files |
| Fri, 11 Nov 2005 10:49:59 +0100 | chaieb | old argument "abs" is replaced by "no_abs". Abstraction is turned on by default. | changeset | files |