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 |