Wed, 07 May 2008 10:57:19 +0200 | berghofe | Adapted to encoding of sets as predicates | file | diff | annotate |
Thu, 28 Feb 2008 16:54:56 +0100 | haftmann | import all 'special code' types | file | diff | annotate |
Wed, 27 Feb 2008 21:41:06 +0100 | haftmann | added theory for reflected types | file | diff | annotate |