algebra · aa9b972ee3b0f8166ef69e4dfd97082e863d5441 · Simcha van Collem / Iris · GitLab

Snippets Groups Projects

Forked from Iris / Iris

6214 commits behind the upstream repository.

No longer use later_car in the logic.

Robbert Krebbers authored 8 years ago

It is not non-expansive, so not a function we should use.

aa9b972e

aa9b972e 8 years ago

Name	Last commit	Last update
..
agree.v
auth.v
base.v
cmra.v
cmra_big_op.v
cmra_tactics.v
coPset.v
cofe.v
cofe_solver.v
csum.v
dec_agree.v
dra.v
excl.v
frac.v
gmap.v
gset.v
iprod.v
list.v
local_updates.v
sts.v
updates.v
upred.v
upred_big_op.v
upred_hlist.v
upred_tactics.v