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 |