/doc-src/TutorialI/
drwxr-xr-x [up]
drwxr-xr-x Advanced
drwxr-xr-x CTL
drwxr-xr-x CodeGen
drwxr-xr-x Datatype
drwxr-xr-x Documents
drwxr-xr-x Fun
drwxr-xr-x Ifexpr
drwxr-xr-x Inductive
drwxr-xr-x Misc
drwxr-xr-x Overview
drwxr-xr-x Protocol
drwxr-xr-x Recdef
drwxr-xr-x Rules
drwxr-xr-x Sets
drwxr-xr-x ToyList
drwxr-xr-x ToyList2
drwxr-xr-x Trie
drwxr-xr-x Types
-rw-r--r-- 2008-03-02 15:02 +0100 4859 IsaMakefile
-rw-r--r-- 2008-03-02 15:02 +0100 1159 Makefile
-rw-r--r-- 2008-03-02 15:02 +0100 4931 appendix.tex
-rw-r--r-- 2008-03-02 15:02 +0100 16942 basics.tex
-rw-r--r-- 2008-03-02 15:02 +0100 44787 cl2emono-modified.sty
-rw-r--r-- 2008-03-02 15:02 +0100 18618 fp.tex
-rw-r--r-- 2008-03-02 15:02 +0100 1489 free-copies
-rwxr-xr-x 2008-03-02 15:02 +0100 878 isa-index
-rw-r--r-- 2008-03-02 15:02 +0100 7623 isabelle.sty
-rw-r--r-- 2008-03-02 15:02 +0100 19100 isabellesym.sty
-rw-r--r-- 2008-03-02 15:02 +0100 132345 pghead.eps
-rw-r--r-- 2008-03-02 15:02 +0100 45093 pghead.pdf
-rw-r--r-- 2008-03-02 15:02 +0100 3268 preface.tex
-rw-r--r-- 2008-03-02 15:02 +0100 195 readers
-rw-r--r-- 2008-03-02 15:02 +0100 35 settings.ML
-rw-r--r-- 2008-03-02 15:02 +0100 3252 todo.tobias
-rw-r--r-- 2008-03-02 15:02 +0100 7438 tutorial.sty
-rw-r--r-- 2008-03-02 15:02 +0100 2206 tutorial.tex