| Mon, 14 Nov 2005 14:36:29 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 14 Nov 2005 13:59:58 +0100 | urbanc | added a few equivariance lemmas (they need to be automated | changeset | files |
| Sun, 13 Nov 2005 22:36:30 +0100 | urbanc | changed the HOL_basic_ss back and selectively added | changeset | files |
| 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 |
| Fri, 11 Nov 2005 00:09:37 +0100 | huffman | add header | changeset | files |
| Thu, 10 Nov 2005 21:14:05 +0100 | wenzelm | tuned proofs; | changeset | files |