| 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
|
| Thu, 06 Apr 2006 16:07:44 +0200 |
haftmann |
exported specification names
|
changeset |
files
|
| Wed, 05 Apr 2006 17:38:32 +0200 |
haftmann |
minor extensions
|
changeset |
files
|
| Wed, 05 Apr 2006 12:47:38 +0200 |
paulson |
pool of constants; definition expansion; current best settings
|
changeset |
files
|
| Fri, 31 Mar 2006 10:53:33 +0200 |
paulson |
removed some illegal characters: they were crashing SML/NJ
|
changeset |
files
|
| Fri, 31 Mar 2006 10:52:20 +0200 |
paulson |
Removal of unused code
|
changeset |
files
|
| Tue, 28 Mar 2006 16:48:18 +0200 |
paulson |
Simplified version of Jia's filter. Now all constants are pooled, rather than
|
changeset |
files
|