| 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 |
| Wed, 18 Jun 2008 23:15:41 +0200 | wenzelm | * Disposed old term read functions; | changeset | files |