/doc-src/TutorialI/Datatype/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2001-11-30 17:55 +0100 6470 ABexpr.thy
-rw-r--r-- 2001-11-30 17:55 +0100 1972 Fundata.thy
-rw-r--r-- 2001-11-30 17:55 +0100 6172 Nested.thy
-rw-r--r-- 2001-11-30 17:55 +0100 101 ROOT.ML
-rw-r--r-- 2001-11-30 17:55 +0100 184 unfoldnested.thy