| Thu, 19 Jun 2008 20:47:58 +0200 | wenzelm | removed duplicate of DatatypePackage.read_typ; | changeset | files |
| Thu, 19 Jun 2008 20:34:28 +0200 | huffman | add lemma cfcomp_LAM | changeset | files |
| Thu, 19 Jun 2008 17:32:18 +0200 | wenzelm | add_abbrev: check tfrees of rhs, not tvars (addresses a lapse introduced in 1.65); | changeset | files |
| 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 |
| Wed, 18 Jun 2008 23:15:41 +0200 | wenzelm | * Disposed old term read functions; | changeset | files |