• Paolo G. Giarrusso's avatar
    Documentation for #237 · a4fc20bc
    Paolo G. Giarrusso authored
    That's the documentation I'd have wanted to see, and viceversa the lack of this
    rule implied (to me) that this wouldn't work.
    a4fc20bc
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...