Sun, 10 Jan 2010 18:43:45 +0100 | berghofe | Adapted to changes in induct method. | changeset | files |
Sun, 10 Jan 2010 18:41:07 +0100 | berghofe | Adapted to changes in setup of induct method. | changeset | files |
Sun, 10 Jan 2010 18:39:50 +0100 | berghofe | Expand proofs of induct_atomize'/rulify'. | changeset | files |