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 |
Thu, 16 Feb 2006 18:59:39 +0100 | haftmann | removed silly stuff | file | diff | annotate |
Tue, 14 Feb 2006 17:07:48 +0100 | haftmann | added theory of executable rational numbers | file | diff | annotate |