src/HOL/Predicate.thy
2007-08-20 haftmann 2007-08-20 Sup now explicit parameter of complete_lattice
2007-07-11 berghofe 2007-07-11 - Moved infrastructure for converting between sets and predicates to Tools/inductive_set_package.ML - Adapted conversion rules to new format (now use standard op : and Collect operators rather than Collect2 and member(2)) - Removed bounded quantifiers for predicates
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.