| drwxr-xr-x | [up] | |||
| -rwxr-xr-x | 2012-08-27 21:46 +0200 | 676 | build | file | revisions | annotate |
| -rw-r--r-- | 2012-08-27 21:46 +0200 | 9607 | classical.tex | file | revisions | annotate |
| -rw-r--r-- | 2012-08-27 21:46 +0200 | 2199 | root.tex | file | revisions | annotate |
| -rw-r--r-- | 2012-08-27 21:46 +0200 | 42958 | simplifier.tex | file | revisions | annotate |
| -rw-r--r-- | 2012-08-27 21:46 +0200 | 9761 | substitution.tex | file | revisions | annotate |
| -rw-r--r-- | 2012-08-27 21:46 +0200 | 10408 | syntax.tex | file | revisions | annotate |
| -rw-r--r-- | 2012-08-27 21:46 +0200 | 7496 | tactic.tex | file | revisions | annotate |
| -rw-r--r-- | 2012-08-27 21:46 +0200 | 26532 | thm.tex | file | revisions | annotate |