A unique execution path for the treatement of universes in declare.ml#89

herbelin wants to merge 1 commit intorocq-prover:masterrocq-prover/rfcs:masterfrom

herbelin:one-universe-execution-path-in-declareherbelin/ceps:one-universe-execution-path-in-declareCopy head branch name to clipboard