| Wed, 11 Jul 2007 11:07:57 +0200 | berghofe | - Moved infrastructure for converting between sets and predicates | file | diff | annotate |
| Tue, 10 Jul 2007 17:30:49 +0200 | haftmann | clarified import | file | diff | annotate |
| Thu, 14 Jun 2007 18:33:31 +0200 | wenzelm | tuned proofs: avoid implicit prems; | file | diff | annotate |
| Mon, 07 May 2007 00:49:59 +0200 | wenzelm | simplified DataFun interfaces; | file | diff | annotate |
| Sat, 10 Mar 2007 16:23:28 +0100 | berghofe | Generalized version of SUP and INF (with index set). | file | diff | annotate |
| Fri, 09 Mar 2007 08:45:50 +0100 | haftmann | stepping towards uniform lattice theory development in HOL | file | diff | annotate |
| Wed, 07 Feb 2007 17:25:39 +0100 | berghofe | New theory for converting between predicates and sets. | file | diff | annotate |