Select Git revision
- Branches 20
- master default protected
- robbert/sbi
- ralf/bi-quant-universe-gone
- ralf/notc-apply
- robbert/iFrame_fail_more_work
- robbert/resolve_tc
- robbert/frame_new_unification
- robbert/pwp
- robbert/reservation_map_False
- robbert/into_forall_eta
- ci/timing
- robbert/docs_1_2_lemmas
- robbert/affine_notations
- jh/simplify_na_inv
- robbert/iIntro_iDestruct_fresh
- ci/name-mangle
- robbert/lock_G_Σ
- robbert/internal_fractional_tweaks
- ralf/ra-infer
- robbert/local_ltac_proofmode
- Tags 20
- iris-4.4.0 protected
- iris-4.3.0 protected
- iris-4.2.0 protected
- iris-4.1.0 protected
- iris-4.0.0 protected
- iris-3.6.0 protected
- iris-3.5.0 protected
- iris-3.4.0 protected
- iris-3.3.0 protected
- iris-3.2.0 protected
- iris-3.1.0 protected
- iris-3.0.0 protected
- iris-2.0 protected
- iris-2.0-rc2 protected
- iris-2.0-rc1 protected
- iris-1.1 protected
- iris-1.0 protected
- hope-2015-coq-1 protected
- appendix-1.0.0 protected
- appendix-1 protected
-
add 'wp_apply (...) as'Ralf Jung authored
clairvoyant_coin.v 2.70 KiB