- let uris =
- if facts then
- ["cic:/Coq/Init/Logic/eq.ind#xpointer(1/1/1)"]
- else
- ["cic:/Coq/Init/Logic/eq.ind#xpointer(1/1/1)";
- (* "cic:/Coq/Init/Logic/trans_eq.con"; *)
- "cic:/Coq/Init/Logic/f_equal.con";
- "cic:/Coq/Init/Logic/f_equal2.con";
- "cic:/Coq/Init/Logic/f_equal3.con"]
- in
- (*