• Paolo G. Giarrusso's avatar
    Label new rule · 8d0ef7c5
    Paolo G. Giarrusso authored
    If Ralf didn't know it, I guess it deserves a name. This is the first I got,
    feel free to improve.
    8d0ef7c5
Name
Last commit
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...
upload Loading commit data...