theories/proofmode · d6dbed9e7530d03f632773dbef849dddac39214f · Paolo G. Giarrusso / iris · GitLab

Snippets Groups Projects

Forked from Iris / Iris

2921 commits behind the upstream repository.

Merge branch 'robbert/from_forall_tc_opaque' into 'master'

Robbert Krebbers authored 5 years ago

Missing `tc_opaque` instance for `FromForall`.

See merge request iris/iris!357

23ad2f43

23ad2f43 5 years ago

Name	Last commit	Last update
..
base.v
class_instances_bi.v
class_instances_sbi.v
classes.v
coq_tactics.v
environments.v
frame_instances.v
intro_patterns.v
ltac_tactics.v
modalities.v
modality_instances.v
monpred.v
notation.v
reduction.v
sel_patterns.v
spec_patterns.v
tactics.v
tokens.v