| Wed, 07 May 2008 10:57:19 +0200 | berghofe | Adapted to encoding of sets as predicates | file | diff | annotate |
| Mon, 17 Mar 2008 16:47:45 +0100 | nipkow | reorganization | file | diff | annotate |
| Mon, 17 Mar 2008 11:42:46 +0100 | nipkow | More defns and thms | file | diff | annotate |
| Fri, 14 Mar 2008 19:58:01 +0100 | nipkow | Orders as relations | file | diff | annotate |