| Tue, 17 Apr 2007 00:30:44 +0200 | wenzelm | tuned proofs; | file | diff | annotate |
| Tue, 20 Mar 2007 08:27:15 +0100 | haftmann | explizit "type" superclass | file | diff | annotate |
| Wed, 07 Feb 2007 17:26:49 +0100 | berghofe | Adapted to changes in Transitive_Closure theory. | file | diff | annotate |
| Wed, 27 Dec 2006 19:10:00 +0100 | haftmann | added OCaml code generation (without dictionaries) | file | diff | annotate |
| Sat, 18 Nov 2006 00:20:15 +0100 | haftmann | div is now a class | file | diff | annotate |
| Mon, 06 Nov 2006 16:28:31 +0100 | haftmann | code generator module naming improved | file | diff | annotate |
| Wed, 20 Sep 2006 12:24:11 +0200 | haftmann | name shifts | file | diff | annotate |