Skip to content
GitLab
Explore
Sign in
George Pirlea
Iris
Repository
iris
theories
proofmode
tactics.v
Find file
Blame
History
Permalink
Make sure iNext works even if the entailment is not directly an sbi entailment.
· d1b836c8
Jacques-Henri Jourdan
authored
Feb 28, 2018
d1b836c8