("trans_eq","cic:/Coq/Init/Logic/trans_eq.con");
("eq_ind_r","cic:/Coq/Init/Logic/eq_ind_r.con");
("eq_ind","cic:/Coq/Init/Logic/eq_ind.con");
("sym_eq","cic:/Coq/Init/Logic/sym_eq.con");
("trans_eq","cic:/Coq/Init/Logic/trans_eq.con");
("eq_ind_r","cic:/Coq/Init/Logic/eq_ind_r.con");
("eq_ind","cic:/Coq/Init/Logic/eq_ind.con");
("sym_eq","cic:/Coq/Init/Logic/sym_eq.con");