Wed, 25 Jun 2008 18:23:50 +0200 | urbanc | typo | file | diff | annotate |
Wed, 07 May 2008 10:57:19 +0200 | berghofe | Adapted to encoding of sets as predicates | file | diff | annotate |
Wed, 12 Mar 2008 11:57:12 +0100 | urbanc | tuned | file | diff | annotate |