Skip to content
GitLab
Explore
Sign in
Lennard Gäher
Iris
Repository
iris
iris
proofmode
classes.v
Find file
Blame
History
Permalink
fix IntoAnd/IntoSep docs
· 473087eb
Ralf Jung
authored
Mar 24, 2021
473087eb