| Wed, 19 May 2004 11:41:58 +0200 | paulson | auto update | changeset | files |
| Wed, 19 May 2004 11:31:26 +0200 | paulson | has_consts now handles the @-operator | changeset | files |
| Wed, 19 May 2004 11:30:56 +0200 | paulson | new bij_betw operator | changeset | files |
| Wed, 19 May 2004 11:30:18 +0200 | paulson | more results about isomorphisms | changeset | files |
| Wed, 19 May 2004 11:29:47 +0200 | paulson | conversion of Hilbert_Choice to Isar script | changeset | files |
| Wed, 19 May 2004 11:24:54 +0200 | chaieb | the function list1 has been exported. | changeset | files |
| Wed, 19 May 2004 11:23:59 +0200 | chaieb | A new implementation for presburger arithmetic following the one suggested in technical report Chaieb Amine and Tobias Nipkow. It is generic an smaller. | changeset | files |