| Thu, 06 Apr 2006 16:10:46 +0200 | haftmann | cleanup in datatype package | changeset | files |
| Thu, 06 Apr 2006 16:10:22 +0200 | haftmann | small type annotation fix | changeset | files |
| Thu, 06 Apr 2006 16:09:54 +0200 | haftmann | added hook for codegen_theorems.ML | changeset | files |
| Thu, 06 Apr 2006 16:09:37 +0200 | haftmann | adaptions to change in typedef_package.ML | changeset | files |
| Thu, 06 Apr 2006 16:09:20 +0200 | haftmann | added functions for definitional code generation | changeset | files |
| Thu, 06 Apr 2006 16:08:25 +0200 | haftmann | added definitional code generator module: codegen_theorems.ML | changeset | files |
| Thu, 06 Apr 2006 16:08:22 +0200 | haftmann | minor changes | changeset | files |