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
Tue, 28 Mar 2006 16:48:18 +0200 Simplified version of Jia's filter. Now all constants are pooled, rather than
paulson [Tue, 28 Mar 2006 16:48:18 +0200] rev 19334
Simplified version of Jia's filter. Now all constants are pooled, rather than relevance being compared against separate clauses. Rejects are no longer noted, and units cannot be added at the end.
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip