Compare revisions

017605dd · 017605dd · 017605dd · 017605dd · 017605dd · 017605dd
--- a/tests/tree_sum.ref
+++ b/tests/tree_sum.ref
--- a/tests/tree_sum.v
+++ b/tests/tree_sum.v
--- a/docs/.gitignore
+++ b/docs/.gitignore
--- a/tex/Makefile
+++ b/tex/Makefile
--- a/docs/algebra.tex
+++ b/docs/algebra.tex
--- a/docs/base-logic.tex
+++ b/docs/base-logic.tex
--- a/docs/bib.bib
+++ b/docs/bib.bib
--- a/docs/constructions.tex
+++ b/docs/constructions.tex
--- a/docs/derived.tex
+++ b/docs/derived.tex
--- a/docs/ghost-state.tex
+++ b/docs/ghost-state.tex
--- a/tex/heaplang.sty
+++ b/tex/heaplang.sty
--- a/tex/heaplang.tex
+++ b/tex/heaplang.tex
--- a/docs/iris.sty
+++ b/docs/iris.sty
--- a/tex/iris.tex
+++ b/tex/iris.tex
--- a/tex/language.tex
+++ b/tex/language.tex
--- a/docs/listproc.sty
+++ b/docs/listproc.sty
--- a/docs/locallabel.sty
+++ b/docs/locallabel.sty
--- a/tex/model.tex
+++ b/tex/model.tex
--- a/tex/paradoxes.tex
+++ b/tex/paradoxes.tex
--- a/docs/pftools.sty
+++ b/docs/pftools.sty
No results found