~ian / topbloke-formulae.git / tree
| -rwxr-xr-x | 615 | .git-revid | blob | history | raw |
| -rw-r--r-- | 54 | .gitignore | blob | history | raw |
| -rw-r--r-- | 646 | Makefile | blob | history | raw |
| -rw-r--r-- | 1357 | annotations.tex | blob | history | raw |
| -rw-r--r-- | 3468 | anticommit.tex | blob | history | raw |
| -rw-r--r-- | 5868 | article.tex | blob | history | raw |
| -rw-r--r-- | 1247 | create-base.tex | blob | history | raw |
| -rw-r--r-- | 1711 | create-tip.tex | blob | history | raw |
| -rw-r--r-- | 1290 | invariants.tex | blob | history | raw |
| -rw-r--r-- | 6191 | lemmas.tex | blob | history | raw |
| -rw-r--r-- | 10862 | merge.tex | blob | history | raw |
| -rw-r--r-- | 4198 | notation.tex | blob | history | raw |
| -rw-r--r-- | 5553 | old-strategy.tex | blob | history | raw |
| -rw-r--r-- | 2626 | pseudomerge.tex | blob | history | raw |
| -rw-r--r-- | 2970 | ranking.tex | blob | history | raw |
| -rw-r--r-- | 2737 | simple.tex | blob | history | raw |
| -rw-r--r-- | 5153 | strategy.tex | blob | history | raw |
| -rw-r--r-- | 205 | test.tex | blob | history | raw |
| -rw-r--r-- | 7164 | traversal.tex | blob | history | raw |