| Thu, 06 Sep 2007 16:28:42 +0200 | urbanc | trivial cleaning up | changeset | files |
| Thu, 06 Sep 2007 12:30:41 +0200 | wenzelm | added goal_message; | changeset | files |
| Thu, 06 Sep 2007 12:30:11 +0200 | wenzelm | theorem hooks: apply in declaration order; | changeset | files |
| Thu, 06 Sep 2007 11:53:17 +0200 | berghofe | Generalized code generator for numerals. | changeset | files |
| Thu, 06 Sep 2007 11:52:13 +0200 | berghofe | - New theories Lambda/NormalForm and Lambda/Standardization | changeset | files |
| Thu, 06 Sep 2007 11:50:32 +0200 | berghofe | Added lecture notes by Matthes and Loader. | changeset | files |
| Thu, 06 Sep 2007 11:48:51 +0200 | berghofe | New proof of standardization theorem (inspired by Ralph Matthes). | changeset | files |