Thu, 06 Apr 2006 16:09:54 +0200 added hook for codegen_theorems.ML
haftmann [Thu, 06 Apr 2006 16:09:54 +0200] rev 19344
added hook for codegen_theorems.ML
Thu, 06 Apr 2006 16:09:37 +0200 adaptions to change in typedef_package.ML
haftmann [Thu, 06 Apr 2006 16:09:37 +0200] rev 19343
adaptions to change in typedef_package.ML
Thu, 06 Apr 2006 16:09:20 +0200 added functions for definitional code generation
haftmann [Thu, 06 Apr 2006 16:09:20 +0200] rev 19342
added functions for definitional code generation
Thu, 06 Apr 2006 16:08:25 +0200 added definitional code generator module: codegen_theorems.ML
haftmann [Thu, 06 Apr 2006 16:08:25 +0200] rev 19341
added definitional code generator module: codegen_theorems.ML
Thu, 06 Apr 2006 16:08:22 +0200 minor changes
haftmann [Thu, 06 Apr 2006 16:08:22 +0200] rev 19340
minor changes
Thu, 06 Apr 2006 16:07:44 +0200 exported specification names
haftmann [Thu, 06 Apr 2006 16:07:44 +0200] rev 19339
exported specification names
Wed, 05 Apr 2006 17:38:32 +0200 minor extensions
haftmann [Wed, 05 Apr 2006 17:38:32 +0200] rev 19338
minor extensions
Wed, 05 Apr 2006 12:47:38 +0200 pool of constants; definition expansion; current best settings
paulson [Wed, 05 Apr 2006 12:47:38 +0200] rev 19337
pool of constants; definition expansion; current best settings
Fri, 31 Mar 2006 10:53:33 +0200 removed some illegal characters: they were crashing SML/NJ
paulson [Fri, 31 Mar 2006 10:53:33 +0200] rev 19336
removed some illegal characters: they were crashing SML/NJ
Fri, 31 Mar 2006 10:52:20 +0200 Removal of unused code
paulson [Fri, 31 Mar 2006 10:52:20 +0200] rev 19335
Removal of unused code
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip