| Wed, 24 Nov 2004 11:13:00 +0100 | nipkow | mod because of change in finite set induction | changeset | files |
| Wed, 24 Nov 2004 11:12:10 +0100 | nipkow | changed the order of !!-quantifiers in finite set induction. | changeset | files |
| Wed, 24 Nov 2004 10:37:38 +0100 | berghofe | Made test_term escape special characters in strings that caused the | changeset | files |
| Wed, 24 Nov 2004 10:32:33 +0100 | berghofe | Functions nat_to_bv and bv_to_nat now really operate on natural numbers. | changeset | files |
| Wed, 24 Nov 2004 10:30:19 +0100 | berghofe | Added EfficientNat | changeset | files |
| Wed, 24 Nov 2004 10:29:44 +0100 | berghofe | Code generator plug-in for implementing natural numbers by integers. | changeset | files |