inline procedural "cic:/Coq/Relations/Newman/Newman/Rstar_Rstar'.con" "Newman__" as definition.
inline procedural "cic:/Coq/Relations/Newman/coherence.con" as definition.
inline procedural "cic:/Coq/Relations/Newman/Newman/Rstar_Rstar'.con" "Newman__" as definition.
inline procedural "cic:/Coq/Relations/Newman/coherence.con" as definition.