Commit 93ef2352 authored by Ralf Jung's avatar Ralf Jung
Browse files

Merge branch 'ralf/valid' into 'gen_proofmode'

rename valid -> emp_valid

See merge request FP/iris-coq!131
parents b1ddcc68 803d4b3d
Pipeline #7515 passed with stage
in 13 minutes and 26 seconds