Theory LBinary_Relations

✐‹creator "Kevin Kappelmann"›
theory LBinary_Relations
  imports
    Binary_Relations_Functions
    Binary_Relations_Order
    Binary_Relation_Properties
    Wellfounded_Recursion
    Wellfounded_Transitive_Recursion
    Binary_Relation_Functions
    Binary_Relations_Agree
    Binary_Relations_Extend
    Binary_Relations_Lattice
    Binary_Relations_Least
    Binary_Relations_Reflexive_Closure
    Binary_Relations_Transitive_Closure
    Dependent_Binary_Relations
    Restricted_Equality
    Reverse_Implies
begin

paragraph ‹Summary›
text ‹Basic concepts on binary relations.›


end