/doc-src/TutorialI/
drwxr-xr-x [up]
drwxr-xr-x CodeGen
drwxr-xr-x Datatype
drwxr-xr-x Ifexpr
drwxr-xr-x Misc
drwxr-xr-x Recdef
drwxr-xr-x ToyList
drwxr-xr-x ToyList2
drwxr-xr-x Trie
-rw-r--r-- 2000-09-05 09:03 +0200 2972 IsaMakefile
-rw-r--r-- 2000-09-05 09:03 +0200 618 Makefile
-rw-r--r-- 2000-09-05 09:03 +0200 2848 appendix.tex
-rw-r--r-- 2000-09-05 09:03 +0200 15676 basics.tex
-rw-r--r-- 2000-09-05 09:03 +0200 31070 fp.tex
-rw-r--r-- 2000-09-05 09:03 +0200 4221 isabelle.sty
-rw-r--r-- 2000-09-05 09:03 +0200 10425 isabellesym.sty
-rw-r--r-- 2000-09-05 09:03 +0200 24 settings.ML
-rw-r--r-- 2000-09-05 09:03 +0200 938 tricks.tex
-rw-r--r-- 2000-09-05 09:03 +0200 2454 tutorial.tex