-rwxr-xr-x | 615 | .git-revid | blob | history | raw |
-rw-r--r-- | 54 | .gitignore | blob | history | raw |
-rw-r--r-- | 567 | Makefile | blob | history | raw |
-rw-r--r-- | 1299 | annotations.tex | blob | history | raw |
-rw-r--r-- | 3208 | anticommit.tex | blob | history | raw |
-rw-r--r-- | 3370 | article.tex | blob | history | raw |
-rw-r--r-- | 1068 | create-base.tex | blob | history | raw |
-rw-r--r-- | 1576 | create-tip.tex | blob | history | raw |
-rw-r--r-- | 987 | invariants.tex | blob | history | raw |
-rw-r--r-- | 5825 | lemmas.tex | blob | history | raw |
-rw-r--r-- | 9069 | merge.tex | blob | history | raw |
-rw-r--r-- | 3030 | notation.tex | blob | history | raw |
-rw-r--r-- | 2524 | simple.tex | blob | history | raw |
-rw-r--r-- | 205 | test.tex | blob | history | raw |