Skip to content
GitLab
Explore
Sign in
Hugo Herbelin
iris-coq
Repository
iris-coq
ectx_lang.v
Find file
Blame
History
Permalink
move the is_ctx definition to core_lang for better visibility
· 3ef1309f
Ralf Jung
authored
Oct 30, 2015
3ef1309f