/src/Doc/Tutorial/Datatype/ default tip
drwxr-xr-x [up]
-rw-r--r-- 2022-01-21 12:09 +0100 7029 ABexpr.thy
-rw-r--r-- 2022-01-21 12:09 +0100 2258 Fundata.thy
-rw-r--r-- 2022-01-21 12:09 +0100 6744 Nested.thy
-rw-r--r-- 2022-01-21 12:09 +0100 194 unfoldnested.thy