/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 Ifexpr
drwxr-xr-x Inductive
drwxr-xr-x Misc
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-- 2000-11-06 18:28 +0100 4655 IsaMakefile
-rw-r--r-- 2000-11-06 18:28 +0100 618 Makefile
-rw-r--r-- 2000-11-06 18:28 +0100 3968 appendix.tex
-rw-r--r-- 2000-11-06 18:28 +0100 15671 basics.tex
-rw-r--r-- 2000-11-06 18:28 +0100 23347 fp.tex
-rw-r--r-- 2000-11-06 18:28 +0100 5140 isabelle.sty
-rw-r--r-- 2000-11-06 18:28 +0100 11476 isabellesym.sty
-rw-r--r-- 2000-11-06 18:28 +0100 24 settings.ML
-rw-r--r-- 2000-11-06 18:28 +0100 5574 todo.tobias
-rw-r--r-- 2000-11-06 18:28 +0100 3275 tutorial.tex