-
Ralf Jung authored
create iris_meta file for meta-theorems (adequacy, lifting lemmas). formulate two of our four lifting lemmas.
4bec9617
create iris_meta file for meta-theorems (adequacy, lifting lemmas). formulate two of our four lifting lemmas.