| Sat, 21 Jul 2007 09:14:16 +0200 | haftmann | dropped Nat legacy bindings | file | diff | annotate |
| Wed, 11 Jul 2007 10:53:39 +0200 | berghofe | Adapted to new inductive definition package. | file | diff | annotate |
| Tue, 08 May 2007 08:21:39 +0200 | haftmann | ML adaptions | file | diff | annotate |