Name Last Update
..
.gitignore Loading commit data...
algebra.tex Loading commit data...
base-logic.tex Loading commit data...
bib.bib Loading commit data...
constructions.tex Loading commit data...
derived.tex Loading commit data...
ghost-state.tex Loading commit data...
iris.sty Loading commit data...
iris.tex Loading commit data...
language.tex Loading commit data...
listproc.sty Loading commit data...
locallabel.sty Loading commit data...
model.tex Loading commit data...
paradoxes.tex Loading commit data...
pftools.sty Loading commit data...
program-logic.tex Loading commit data...
setup.tex Loading commit data...