src/HOL/Predicate.thy
2007-07-10 haftmann 2007-07-10 clarified import
2007-06-14 wenzelm 2007-06-14 tuned proofs: avoid implicit prems;
2007-05-07 wenzelm 2007-05-07 simplified DataFun interfaces;
2007-03-10 berghofe 2007-03-10 Generalized version of SUP and INF (with index set).
2007-03-09 haftmann 2007-03-09 stepping towards uniform lattice theory development in HOL
2007-02-07 berghofe 2007-02-07 New theory for converting between predicates and sets.