Skip to content
GitLab
Explore
Sign in
Simon Spies
Iris
Repository
iris
theories
prelude
list.v
Find file
Blame
History
Permalink
Move stuff out of sections that does not depend on the section variables.
· 26ed8552
Robbert Krebbers
authored
Dec 15, 2016
26ed8552