/src/Doc/Tutorial/Datatype/ default tip
drwxr-xr-x [up]
-rw-r--r-- 2025-07-03 13:53 +0200 7029 ABexpr.thy
-rw-r--r-- 2025-07-03 13:53 +0200 2258 Fundata.thy
-rw-r--r-- 2025-07-03 13:53 +0200 6759 Nested.thy
-rw-r--r-- 2025-07-03 13:53 +0200 194 unfoldnested.thy