/src/Doc/Tutorial/document/
drwxr-xr-x [up]
-rw-r--r-- 2016-02-10 14:14 +0100 1720 Isa-logics.pdf
-rw-r--r-- 2016-02-10 14:14 +0100 1813 advanced0.tex
-rw-r--r-- 2016-02-10 14:14 +0100 4917 appendix0.tex
-rw-r--r-- 2016-02-10 14:14 +0100 16843 basics.tex
-rwxr-xr-x 2016-02-10 14:14 +0100 302 build
-rw-r--r-- 2016-02-10 14:14 +0100 44787 cl2emono-modified.sty
-rw-r--r-- 2016-02-10 14:14 +0100 168 ctl0.tex
-rw-r--r-- 2016-02-10 14:14 +0100 903 documents0.tex
-rw-r--r-- 2016-02-10 14:14 +0100 18714 fp.tex
-rw-r--r-- 2016-02-10 14:14 +0100 1045 inductive0.tex
-rwxr-xr-x 2016-02-10 14:14 +0100 878 isa-index
-rw-r--r-- 2016-02-10 14:14 +0100 23313 numerics.tex
-rw-r--r-- 2016-02-10 14:14 +0100 45093 pghead.pdf
-rw-r--r-- 2016-02-10 14:14 +0100 2822 preface.tex
-rw-r--r-- 2016-02-10 14:14 +0100 6436 protocol.tex
-rw-r--r-- 2016-02-10 14:14 +0100 2074 root.tex
-rw-r--r-- 2016-02-10 14:14 +0100 115570 rules.tex
-rw-r--r-- 2016-02-10 14:14 +0100 39771 sets.tex
-rw-r--r-- 2016-02-10 14:14 +0100 7438 tutorial.sty
-rw-r--r-- 2016-02-10 14:14 +0100 5155 typedef.pdf
-rw-r--r-- 2016-02-10 14:14 +0100 2623 types0.tex