| Thu, 19 Jun 2008 15:47:26 +0200 | urbanc | slightly tuned | changeset | files |
| Thu, 19 Jun 2008 11:46:14 +0200 | krauss | generalized induct_scheme method to prove conditional induction schemes. | changeset | files |
| Thu, 19 Jun 2008 00:02:08 +0200 | huffman | add lemma iterate_iterate | changeset | files |