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