Skip to content

Change names of CoqChangeProofs to ProofChanges #126

Change names of CoqChangeProofs to ProofChanges

Change names of CoqChangeProofs to ProofChanges #126