/doc-src/TutorialI/Recdef/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2000-12-06 13:22 +0100 2845 Induction.thy
-rw-r--r-- 2000-12-06 13:22 +0100 746 Nested0.thy
-rw-r--r-- 2000-12-06 13:22 +0100 1695 Nested1.thy
-rw-r--r-- 2000-12-06 13:22 +0100 3845 Nested2.thy
-rw-r--r-- 2000-12-06 13:22 +0100 101 ROOT.ML
-rw-r--r-- 2000-12-06 13:22 +0100 2865 examples.thy
-rw-r--r-- 2000-12-06 13:22 +0100 3421 simplification.thy
-rw-r--r-- 2000-12-06 13:22 +0100 3405 termination.thy