Mon, 30 Jun 2008 13:41:33 +0200 | haftmann | simplified retrieval of theory names of consts and types | file | diff | annotate |
Fri, 23 May 2008 16:41:39 +0200 | berghofe | Replaced Pretty.str and Pretty.string_of by specific functions (from Codegen) that | file | diff | annotate |
Tue, 19 Sep 2006 15:22:05 +0200 | haftmann | code generation 2 adjustments | file | diff | annotate |
Tue, 29 Aug 2006 14:31:15 +0200 | haftmann | refinements | file | diff | annotate |
Tue, 08 Aug 2006 08:19:39 +0200 | haftmann | improved & fixed code generator theorem generation | file | diff | annotate |
Wed, 24 May 2006 01:04:55 +0200 | wenzelm | simplified TypedefPackage.get_info; | file | diff | annotate |
Mon, 24 Apr 2006 16:37:52 +0200 | haftmann | seperated typedef codegen from main code | file | diff | annotate |