-rw-r--r-- | 38 | .gitignore | blob | history | raw |
-rw-r--r-- | 226 | Makefile | blob | history | raw |
-rw-r--r-- | 1316 | annotations.tex | blob | history | raw |
-rw-r--r-- | 3114 | anticommit.tex | blob | history | raw |
-rw-r--r-- | 3148 | article.tex | blob | history | raw |
-rw-r--r-- | 1072 | create-base.tex | blob | history | raw |
-rw-r--r-- | 1496 | create-tip.tex | blob | history | raw |
-rw-r--r-- | 987 | invariants.tex | blob | history | raw |
-rw-r--r-- | 5856 | lemmas.tex | blob | history | raw |
-rw-r--r-- | 9009 | merge.tex | blob | history | raw |
-rw-r--r-- | 2824 | notation.tex | blob | history | raw |
-rw-r--r-- | 2391 | simple.tex | blob | history | raw |
-rw-r--r-- | 205 | test.tex | blob | history | raw |