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 |