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 |