-rw-r--r-- | 38 | .gitignore | blob | history | raw |
-rw-r--r-- | 226 | Makefile | blob | history | raw |
-rw-r--r-- | 1216 | annotations.tex | blob | history | raw |
-rw-r--r-- | 3128 | anticommit.tex | blob | history | raw |
-rw-r--r-- | 3068 | article.tex | blob | history | raw |
-rw-r--r-- | 1073 | create-base.tex | blob | history | raw |
-rw-r--r-- | 1496 | create-tip.tex | blob | history | raw |
-rw-r--r-- | 744 | invariants.tex | blob | history | raw |
-rw-r--r-- | 5638 | lemmas.tex | blob | history | raw |
-rw-r--r-- | 8723 | merge.tex | blob | history | raw |
-rw-r--r-- | 2754 | notation.tex | blob | history | raw |
-rw-r--r-- | 2391 | simple.tex | blob | history | raw |
-rw-r--r-- | 205 | test.tex | blob | history | raw |