Theory First_Order_Terms.Transitive_Closure_More

(*
Author:  Christian Sternagel <c.sternagel@gmail.com>
Author:  René Thiemann <rene.thiemann@uibk.ac.at>
License: LGPL
*)
section ‹Auxiliary Results›

subsection ‹Reflexive Transitive Closures of Orders›

theory Transitive_Closure_More
  imports Main
begin

end