| 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 |