✐‹creator "Kevin Kappelmann"› section ‹Predicates› theory Predicates imports Bounded_Definite_Description Bounded_Quantifiers Predicate_Functions Predicates_Lattice Predicates_Order begin paragraph ‹Summary› text ‹Basic concepts on predicates.› end