Skip to content
GitLab
Explore
Sign in
iris
ProofMode.md
Find file
Blame
History
Permalink
Missing stuff in Proofmode.md.
· af80361b
Robbert Krebbers
authored
Jan 04, 2017
Thanks to Janno for spotting this!
af80361b