Fri, 10 Mar 2006 15:33:48 +0100 | haftmann | renamed HOL + - * etc. to HOL.plus HOL.minus HOL.times etc. | file | diff | annotate |
Sat, 25 Feb 2006 15:19:19 +0100 | haftmann | change in codegen syntax | file | diff | annotate |
Wed, 15 Feb 2006 17:09:25 +0100 | haftmann | some fixes | file | diff | annotate |
Tue, 07 Feb 2006 08:47:43 +0100 | haftmann | slight improvements in code generation | file | diff | annotate |
Mon, 30 Jan 2006 08:20:56 +0100 | haftmann | adaptions to codegen_package | file | diff | annotate |
Tue, 24 Jan 2006 00:44:39 +0100 | wenzelm | fixed code_generate syntax; | file | diff | annotate |
Mon, 23 Jan 2006 14:07:52 +0100 | haftmann | removed problematic keyword 'atom' | file | diff | annotate |
Tue, 17 Jan 2006 16:36:57 +0100 | haftmann | substantial improvements in code generator | file | diff | annotate |
Sun, 25 Sep 2005 20:12:26 +0200 | berghofe | New theory for implementing finite sets by lists. | file | diff | annotate |