plf: remove duplicate Proof command in RecordSub.v (errors on Coq/Rocq dev)#22

bcpierce00 merged 1 commit into

DeepSpec:masterDeepSpec/sf:masterfrom

JasonGross:fix-recordsub-duplicate-proofJasonGross/sf:fix-recordsub-duplicate-proofCopy head branch name to clipboard