haftmann [Thu, 06 Apr 2006 16:13:17 +0200] rev 19349
cleanup in typedef/datatype package
haftmann [Thu, 06 Apr 2006 16:12:57 +0200] rev 19348
added explicit serialization for int equality
haftmann [Thu, 06 Apr 2006 16:11:30 +0200] rev 19347
adapted for definitional code generation
haftmann [Thu, 06 Apr 2006 16:10:46 +0200] rev 19346
cleanup in datatype package
haftmann [Thu, 06 Apr 2006 16:10:22 +0200] rev 19345
small type annotation fix
haftmann [Thu, 06 Apr 2006 16:09:54 +0200] rev 19344
added hook for codegen_theorems.ML
haftmann [Thu, 06 Apr 2006 16:09:37 +0200] rev 19343
adaptions to change in typedef_package.ML
haftmann [Thu, 06 Apr 2006 16:09:20 +0200] rev 19342
added functions for definitional code generation
haftmann [Thu, 06 Apr 2006 16:08:25 +0200] rev 19341
added definitional code generator module: codegen_theorems.ML
haftmann [Thu, 06 Apr 2006 16:08:22 +0200] rev 19340
minor changes