/doc-src/TutorialI/Recdef/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2005-06-14 22:08 +0200 2907 Induction.thy
-rw-r--r-- 2005-06-14 22:08 +0200 825 Nested0.thy
-rw-r--r-- 2005-06-14 22:08 +0200 1748 Nested1.thy
-rw-r--r-- 2005-06-14 22:08 +0200 3436 Nested2.thy
-rw-r--r-- 2005-06-14 22:08 +0200 101 ROOT.ML
-rw-r--r-- 2005-06-14 22:08 +0200 3303 examples.thy
-rw-r--r-- 2005-06-14 22:08 +0200 3590 simplification.thy
-rw-r--r-- 2005-06-14 22:08 +0200 2937 termination.thy