Skip to content
GitLab
Explore
Sign in
iris
theories
proofmode
ltac_tactics.v
Find file
Blame
History
Permalink
always split conjunctions in side-conditions
· 553116af
Ralf Jung
authored
Jun 10, 2018
553116af
Ralf Jung authored553116af