Skip to content
GitLab
Explore
Sign in
Jonas Kastberg
iris
Repository
iris-coq
proofmode
class_instances.v
Find file
Blame
History
Permalink
Change hypotheses order for [frame_later] for better perfs.
· 4dda9d08
Jacques-Henri Jourdan
authored
Sep 15, 2016
4dda9d08