include "logic/equality.ma".
(* Inclusion of: GRP168-1.p *)
(* -------------------------------------------------------------------------- *)
(* File : GRP168-1 : TPTP v3.1.1. Bugfixed v1.2.1. *)
(* Domain : Group Theory (Lattice Ordered) *)
include "logic/equality.ma".
(* Inclusion of: GRP168-1.p *)
(* -------------------------------------------------------------------------- *)
(* File : GRP168-1 : TPTP v3.1.1. Bugfixed v1.2.1. *)
(* Domain : Group Theory (Lattice Ordered) *)
(* Version : [Fuc94] (equality) axioms. *)
(* English : *)
(* Refs : [Fuc94] Fuchs (1994), The Application of Goal-Orientated Heuri *)
(* Version : [Fuc94] (equality) axioms. *)
(* English : *)
(* Refs : [Fuc94] Fuchs (1994), The Application of Goal-Orientated Heuri *)