| drwxr-xr-x | [up] | |||
| -rwxr-xr-x | 2012-08-29 12:23 +0900 | 324 | build | file | revisions | annotate |
| -rw-r--r-- | 2012-08-29 12:23 +0900 | 9607 | classical.tex | file | revisions | annotate |
| -rw-r--r-- | 2012-08-29 12:23 +0900 | 2146 | root.tex | file | revisions | annotate |
| -rw-r--r-- | 2012-08-29 12:23 +0900 | 42958 | simplifier.tex | file | revisions | annotate |
| -rw-r--r-- | 2012-08-29 12:23 +0900 | 9761 | substitution.tex | file | revisions | annotate |
| -rw-r--r-- | 2012-08-29 12:23 +0900 | 10408 | syntax.tex | file | revisions | annotate |
| -rw-r--r-- | 2012-08-29 12:23 +0900 | 7496 | tactic.tex | file | revisions | annotate |
| -rw-r--r-- | 2012-08-29 12:23 +0900 | 26532 | thm.tex | file | revisions | annotate |