Skip to content
GitLab
Explore
Sign in
George Pirlea
Iris
Repository
iris
tests
proofmode.ref
Find file
Blame
History
Permalink
Delete extra copies of context from terms for some proof mode tactics.
· caef5d9e
Joseph Tassarotti
authored
Mar 12, 2019
caef5d9e