-rwxr-xr-x | 615 | .git-revid | blob | history | raw |
-rw-r--r-- | 54 | .gitignore | blob | history | raw |
-rw-r--r-- | 576 | Makefile | blob | history | raw |
-rw-r--r-- | 1357 | annotations.tex | blob | history | raw |
-rw-r--r-- | 3398 | anticommit.tex | blob | history | raw |
-rw-r--r-- | 5137 | article.tex | blob | history | raw |
-rw-r--r-- | 1139 | create-base.tex | blob | history | raw |
-rw-r--r-- | 1649 | create-tip.tex | blob | history | raw |
-rw-r--r-- | 1185 | invariants.tex | blob | history | raw |
-rw-r--r-- | 6184 | lemmas.tex | blob | history | raw |
-rw-r--r-- | 9750 | merge.tex | blob | history | raw |
-rw-r--r-- | 3490 | notation.tex | blob | history | raw |
-rw-r--r-- | 5553 | old-strategy.tex | blob | history | raw |
-rw-r--r-- | 1612 | pseudomerge.tex | blob | history | raw |
-rw-r--r-- | 3025 | ranking.tex | blob | history | raw |
-rw-r--r-- | 2697 | simple.tex | blob | history | raw |
-rw-r--r-- | 4015 | strategy.tex | blob | history | raw |
-rw-r--r-- | 205 | test.tex | blob | history | raw |
-rw-r--r-- | 3698 | trav-alg.tex | blob | history | raw |
-rw-r--r-- | 186 | trav-proofs.tex | blob | history | raw |