Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Iris
stdpp
Repository
stdpp
theories
base.v
Find file
Blame
History
Permalink
Make the types of the finite map operational type classes explicit, and make some more specific.
· a9e7f3c8
Robbert Krebbers
authored
Sep 04, 2012
a9e7f3c8