Mon, 05 Dec 2005 10:33:30 +0100 | urbanc | tuned | changeset | files |
Mon, 05 Dec 2005 10:32:37 +0100 | urbanc | ISAR-fied two proofs | changeset | files |
Mon, 05 Dec 2005 00:39:18 +0100 | berghofe | Adapted to new type of store_thmss(_atts). | changeset | files |