Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
gfx		gfx
.gitignore		.gitignore
README.md		README.md
abstract.tex		abstract.tex
algebra.tex		algebra.tex
axioms.tex		axioms.tex
bibliography.bib		bibliography.bib
config.tex		config.tex
contents.tex		contents.tex
counterpart.tex		counterpart.tex
dirty.tex		dirty.tex
extensions.tex		extensions.tex
introduction.tex		introduction.tex
ltl.tex		ltl.tex
macros.tex		macros.tex
main.tex		main.tex
semantics.tex		semantics.tex
syntax.tex		syntax.tex
titlepage.tex		titlepage.tex