/src/HOL/Datatype_Examples/
drwxr-xr-x [up]
drwxr-xr-x Derivation_Trees
-rw-r--r-- 2021-04-12 14:14 +0200 7048 Compat.thy
-rw-r--r-- 2021-04-12 14:14 +0200 1849 Cyclic_List.thy
-rw-r--r-- 2021-04-12 14:14 +0200 1107 Datatype_Simproc_Tests.thy
-rw-r--r-- 2021-04-12 14:14 +0200 5939 FAE_Sequence.thy
-rw-r--r-- 2021-04-12 14:14 +0200 11103 Free_Idempotent_Monoid.thy
-rw-r--r-- 2021-04-12 14:14 +0200 4407 Koenig.thy
-rw-r--r-- 2021-04-12 14:14 +0200 1708 Lambda_Term.thy
-rw-r--r-- 2021-04-12 14:14 +0200 10971 Lift_BNF.thy
-rw-r--r-- 2021-04-12 14:14 +0200 5968 Milner_Tofte.thy
-rw-r--r-- 2021-04-12 14:14 +0200 5353 Misc_Codatatype.thy
-rw-r--r-- 2021-04-12 14:14 +0200 9957 Misc_Datatype.thy
-rw-r--r-- 2021-04-12 14:14 +0200 5756 Misc_Primcorec.thy
-rw-r--r-- 2021-04-12 14:14 +0200 5523 Misc_Primrec.thy
-rw-r--r-- 2021-04-12 14:14 +0200 8318 Process.thy
-rw-r--r-- 2021-04-12 14:14 +0200 13209 Regex_ACI.thy
-rw-r--r-- 2021-04-12 14:14 +0200 19483 Regex_ACIDZ.thy
-rw-r--r-- 2021-04-12 14:14 +0200 8942 Stream_Processor.thy
-rw-r--r-- 2021-04-12 14:14 +0200 4471 TLList.thy
-rw-r--r-- 2021-04-12 14:14 +0200 1549 TreeFI.thy
-rw-r--r-- 2021-04-12 14:14 +0200 682 TreeFsetI.thy