| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2011-07-13 00:23 +0900 | 582 | Makefile | file | revisions | annotate |
| -rw-r--r-- | 2011-07-13 00:23 +0900 | 47810 | advanced.tex | file | revisions | annotate |
| -rw-r--r-- | 2011-07-13 00:23 +0900 | 207 | arith.thy | file | revisions | annotate |
| -rw-r--r-- | 2011-07-13 00:23 +0900 | 82 | bool.thy | file | revisions | annotate |
| -rw-r--r-- | 2011-07-13 00:23 +0900 | 371 | bool_nat.thy | file | revisions | annotate |
| -rw-r--r-- | 2011-07-13 00:23 +0900 | 3809 | deriv.txt | file | revisions | annotate |
| -rw-r--r-- | 2011-07-13 00:23 +0900 | 57976 | foundations.tex | file | revisions | annotate |
| -rw-r--r-- | 2011-07-13 00:23 +0900 | 139 | gate.thy | file | revisions | annotate |
| -rw-r--r-- | 2011-07-13 00:23 +0900 | 311 | gate2.thy | file | revisions | annotate |
| -rw-r--r-- | 2011-07-13 00:23 +0900 | 38762 | getting.tex | file | revisions | annotate |
| -rw-r--r-- | 2011-07-13 00:23 +0900 | 6471 | intro.tex | file | revisions | annotate |
| -rw-r--r-- | 2011-07-13 00:23 +0900 | 138 | list.thy | file | revisions | annotate |
| -rw-r--r-- | 2011-07-13 00:23 +0900 | 306 | prod.thy | file | revisions | annotate |
| -rw-r--r-- | 2011-07-13 00:23 +0900 | 6043 | quant.txt | file | revisions | annotate |
| -rw-r--r-- | 2011-07-13 00:23 +0900 | 1735 | theorems-out.txt | file | revisions | annotate |
| -rw-r--r-- | 2011-07-13 00:23 +0900 | 2368 | theorems.txt | file | revisions | annotate |