| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2012-08-29 10:57 +0900 | 12195 | Isa-logics.eps | file | revisions | annotate |
| -rw-r--r-- | 2012-08-29 10:57 +0900 | 1720 | Isa-logics.pdf | file | revisions | annotate |
| -rw-r--r-- | 2012-08-29 10:57 +0900 | 1813 | advanced0.tex | file | revisions | annotate |
| -rw-r--r-- | 2012-08-29 10:57 +0900 | 4917 | appendix0.tex | file | revisions | annotate |
| -rw-r--r-- | 2012-08-29 10:57 +0900 | 16843 | basics.tex | file | revisions | annotate |
| -rwxr-xr-x | 2012-08-29 10:57 +0900 | 604 | build | file | revisions | annotate |
| -rw-r--r-- | 2012-08-29 10:57 +0900 | 44787 | cl2emono-modified.sty | file | revisions | annotate |
| -rw-r--r-- | 2012-08-29 10:57 +0900 | 168 | ctl0.tex | file | revisions | annotate |
| -rw-r--r-- | 2012-08-29 10:57 +0900 | 903 | documents0.tex | file | revisions | annotate |
| -rw-r--r-- | 2012-08-29 10:57 +0900 | 18706 | fp.tex | file | revisions | annotate |
| -rw-r--r-- | 2012-08-29 10:57 +0900 | 1045 | inductive0.tex | file | revisions | annotate |
| -rwxr-xr-x | 2012-08-29 10:57 +0900 | 878 | isa-index | file | revisions | annotate |
| -rw-r--r-- | 2012-08-29 10:57 +0900 | 23301 | numerics.tex | file | revisions | annotate |
| -rw-r--r-- | 2012-08-29 10:57 +0900 | 132345 | pghead.eps | file | revisions | annotate |
| -rw-r--r-- | 2012-08-29 10:57 +0900 | 45093 | pghead.pdf | file | revisions | annotate |
| -rw-r--r-- | 2012-08-29 10:57 +0900 | 2822 | preface.tex | file | revisions | annotate |
| -rw-r--r-- | 2012-08-29 10:57 +0900 | 6436 | protocol.tex | file | revisions | annotate |
| -rw-r--r-- | 2012-08-29 10:57 +0900 | 2074 | root.tex | file | revisions | annotate |
| -rw-r--r-- | 2012-08-29 10:57 +0900 | 115397 | rules.tex | file | revisions | annotate |
| -rw-r--r-- | 2012-08-29 10:57 +0900 | 39783 | sets.tex | file | revisions | annotate |
| -rw-r--r-- | 2012-08-29 10:57 +0900 | 7438 | tutorial.sty | file | revisions | annotate |
| -rw-r--r-- | 2012-08-29 10:57 +0900 | 5155 | typedef.pdf | file | revisions | annotate |
| -rw-r--r-- | 2012-08-29 10:57 +0900 | 46853 | typedef.ps | file | revisions | annotate |
| -rw-r--r-- | 2012-08-29 10:57 +0900 | 2623 | types0.tex | file | revisions | annotate |