| Tue, 10 Jul 2007 09:23:17 +0200 | haftmann | simplified, tuned | file | diff | annotate |
| Thu, 28 Jun 2007 19:09:41 +0200 | haftmann | proper collapse_let | file | diff | annotate |
| Sat, 19 May 2007 11:33:34 +0200 | haftmann | fixed comment | file | diff | annotate |
| Thu, 26 Apr 2007 13:32:59 +0200 | haftmann | moved code generation pretty integers and characters to separate theories | file | diff | annotate |