Skip to content
GitLab
Explore
Sign in
Janno
iris-coq
Repository
iris
theories
proofmode
class_instances_sbi.v
Find file
Blame
History
Permalink
class_instances: coqdoc; move higher priority instances up a bit
· 237fd8c7
Ralf Jung
authored
Jun 10, 2018
237fd8c7