Mon, 26 Mar 2007 12:46:27 +0200 | paulson | "generalize" now replaces ugly mes_XXX generated symbols by 1-letter identifiers. | changeset | files |
Sun, 25 Mar 2007 15:15:07 +0200 | urbanc | moving lemmas into appropriate sections | changeset | files |
Fri, 23 Mar 2007 12:06:41 +0100 | haftmann | fixed typing bug in generated code | changeset | files |