Compare revisions

9f18e97d · 9f18e97d · 9f18e97d · 9f18e97d · 9f18e97d · 9f18e97d
--- a/iris/program_logic/total_adequacy.v
+++ b/iris/program_logic/total_adequacy.v
--- a/iris/program_logic/total_ectx_lifting.v
+++ b/iris/program_logic/total_ectx_lifting.v
--- a/iris/program_logic/total_lifting.v
+++ b/iris/program_logic/total_lifting.v
--- a/iris/program_logic/total_weakestpre.v
+++ b/iris/program_logic/total_weakestpre.v
--- a/iris/program_logic/weakestpre.v
+++ b/iris/program_logic/weakestpre.v
--- a/iris/proofmode/base.v
+++ b/iris/proofmode/base.v
--- a/iris/proofmode/class_instances.v
+++ b/iris/proofmode/class_instances.v
--- a/iris/proofmode/class_instances_embedding.v
+++ b/iris/proofmode/class_instances_embedding.v
--- a/iris/proofmode/class_instances_frame.v
+++ b/iris/proofmode/class_instances_frame.v
--- a/iris/proofmode/class_instances_internal_eq.v
+++ b/iris/proofmode/class_instances_internal_eq.v
--- a/iris/proofmode/class_instances_later.v
+++ b/iris/proofmode/class_instances_later.v
--- a/iris/proofmode/class_instances_make.v
+++ b/iris/proofmode/class_instances_make.v
--- a/iris/proofmode/class_instances_plainly.v
+++ b/iris/proofmode/class_instances_plainly.v
--- a/iris/proofmode/class_instances_updates.v
+++ b/iris/proofmode/class_instances_updates.v
--- a/iris/proofmode/classes.v
+++ b/iris/proofmode/classes.v
--- a/iris/proofmode/classes_make.v
+++ b/iris/proofmode/classes_make.v
--- a/iris/proofmode/coq_tactics.v
+++ b/iris/proofmode/coq_tactics.v
--- a/iris/proofmode/environments.v
+++ b/iris/proofmode/environments.v
--- a/iris/proofmode/ident_name.v
+++ b/iris/proofmode/ident_name.v
--- a/iris/proofmode/intro_patterns.v
+++ b/iris/proofmode/intro_patterns.v
No results found