include "logic/equality.ma".
(* Inclusion of: BOO075-1.p *)
(* -------------------------------------------------------------------------- *)
include "logic/equality.ma".
(* Inclusion of: BOO075-1.p *)
(* -------------------------------------------------------------------------- *)