Skip to content
GitLab
Explore
Sign in
George Pirlea
Iris
Repository
iris
theories
proofmode
coq_tactics.v
Find file
Blame
History
Permalink
Get rid of some useless parentheses (that were probably the result of merging).
· bfc28202
Robbert Krebbers
authored
Nov 27, 2017
bfc28202