/src/HOL/HOLCF/ Isabelle2025
drwxr-xr-x [up]
drwxr-xr-x FOCUS
drwxr-xr-x IMP
drwxr-xr-x IOA
drwxr-xr-x Library
drwxr-xr-x Tools
drwxr-xr-x Tutorial
drwxr-xr-x document
drwxr-xr-x ex
-rw-r--r-- 2025-03-12 11:39 +0100 9993 Algebraic.thy
-rw-r--r-- 2025-03-12 11:39 +0100 10446 Bifinite.thy
-rw-r--r-- 2025-03-12 11:39 +0100 19929 Cfun.thy
-rw-r--r-- 2025-03-12 11:39 +0100 4177 Compact_Basis.thy
-rw-r--r-- 2025-03-12 11:39 +0100 15917 Completion.thy
-rw-r--r-- 2025-03-12 11:39 +0100 25340 ConvexPD.thy
-rw-r--r-- 2025-03-12 11:39 +0100 49143 Cpo.thy
-rw-r--r-- 2025-03-12 11:39 +0100 10183 Cpodef.thy
-rw-r--r-- 2025-03-12 11:39 +0100 1344 Cprod.thy
-rw-r--r-- 2025-03-12 11:39 +0100 14209 Deflation.thy
-rw-r--r-- 2025-03-12 11:39 +0100 26081 Domain.thy
-rw-r--r-- 2025-03-12 11:39 +0100 17246 Fixrec.thy
-rw-r--r-- 2025-03-12 11:39 +0100 247 HOLCF.thy
-rw-r--r-- 2025-03-12 11:39 +0100 4109 Lift.thy
-rw-r--r-- 2025-03-12 11:39 +0100 20327 LowerPD.thy
-rw-r--r-- 2025-03-12 11:39 +0100 20313 Map_Functions.thy
-rw-r--r-- 2025-03-12 11:39 +0100 2315 One.thy
-rw-r--r-- 2025-03-12 11:39 +0100 7068 Powerdomains.thy
-rw-r--r-- 2025-03-12 11:39 +0100 1615 README.thy
-rw-r--r-- 2025-03-12 11:39 +0100 23078 Representable.thy
-rw-r--r-- 2025-03-12 11:39 +0100 2111 Sfun.thy
-rw-r--r-- 2025-03-12 11:39 +0100 8363 Sprod.thy
-rw-r--r-- 2025-03-12 11:39 +0100 8008 Ssum.thy
-rw-r--r-- 2025-03-12 11:39 +0100 5898 Tr.thy
-rw-r--r-- 2025-03-12 11:39 +0100 32112 Universal.thy
-rw-r--r-- 2025-03-12 11:39 +0100 8355 Up.thy
-rw-r--r-- 2025-03-12 11:39 +0100 20353 UpperPD.thy