/doc-src/TutorialI/Recdef/document/
drwxr-xr-x [up]
-rw-r--r-- 2000-12-06 11:00 +0100 4951 Induction.tex
-rw-r--r-- 2000-12-06 11:00 +0100 1485 Nested0.tex
-rw-r--r-- 2000-12-06 11:00 +0100 2563 Nested1.tex
-rw-r--r-- 2000-12-06 11:00 +0100 5704 Nested2.tex
-rw-r--r-- 2000-12-06 11:00 +0100 7390 examples.tex
-rw-r--r-- 2000-12-06 11:00 +0100 60 root.tex
-rw-r--r-- 2000-12-06 11:00 +0100 6864 simplification.tex
-rw-r--r-- 2000-12-06 11:00 +0100 5489 termination.tex