Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Lennard Gäher
Iris
Repository
f123ff1ea97d394cbd56f5cce9a58e5799289a9b
Switch branch/tag
iris
theories
bi
derived_laws_bi.v
Find file
Blame
History
Permalink
make emp_wand a LeftId instance, like True_impl
· f123ff1e
Ralf Jung
authored
Jun 10, 2018
f123ff1e
Ralf Jung authoredf123ff1e