/src/HOL/HOLCF/ default tip
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-- 2021-04-17 19:47 +0200 7324 Adm.thy
-rw-r--r-- 2021-04-17 19:47 +0200 9581 Algebraic.thy
-rw-r--r-- 2021-04-17 19:47 +0200 10461 Bifinite.thy
-rw-r--r-- 2021-04-17 19:47 +0200 19549 Cfun.thy
-rw-r--r-- 2021-04-17 19:47 +0200 3919 Compact_Basis.thy
-rw-r--r-- 2021-04-17 19:47 +0200 15936 Completion.thy
-rw-r--r-- 2021-04-17 19:47 +0200 7686 Cont.thy
-rw-r--r-- 2021-04-17 19:47 +0200 24599 ConvexPD.thy
-rw-r--r-- 2021-04-17 19:47 +0200 10370 Cpodef.thy
-rw-r--r-- 2021-04-17 19:47 +0200 1363 Cprod.thy
-rw-r--r-- 2021-04-17 19:47 +0200 14227 Deflation.thy
-rw-r--r-- 2021-04-17 19:47 +0200 767 Discrete.thy
-rw-r--r-- 2021-04-17 19:47 +0200 13431 Domain.thy
-rw-r--r-- 2021-04-17 19:47 +0200 12633 Domain_Aux.thy
-rw-r--r-- 2021-04-17 19:47 +0200 8643 Fix.thy
-rw-r--r-- 2021-04-17 19:47 +0200 8606 Fixrec.thy
-rw-r--r-- 2021-04-17 19:47 +0200 4962 Fun_Cpo.thy
-rw-r--r-- 2021-04-17 19:47 +0200 247 HOLCF.thy
-rw-r--r-- 2021-04-17 19:47 +0200 4085 Lift.thy
-rw-r--r-- 2021-04-17 19:47 +0200 19061 LowerPD.thy
-rw-r--r-- 2021-04-17 19:47 +0200 20278 Map_Functions.thy
-rw-r--r-- 2021-04-17 19:47 +0200 2315 One.thy
-rw-r--r-- 2021-04-17 19:47 +0200 7936 Pcpo.thy
-rw-r--r-- 2021-04-17 19:47 +0200 11660 Porder.thy
-rw-r--r-- 2021-04-17 19:47 +0200 7064 Powerdomains.thy
-rw-r--r-- 2021-04-17 19:47 +0200 9453 Product_Cpo.thy
-rw-r--r-- 2021-04-17 19:47 +0200 1705 README.html
-rw-r--r-- 2021-04-17 19:47 +0200 22953 Representable.thy
-rw-r--r-- 2021-04-17 19:47 +0200 2049 Sfun.thy
-rw-r--r-- 2021-04-17 19:47 +0200 8084 Sprod.thy
-rw-r--r-- 2021-04-17 19:47 +0200 7879 Ssum.thy
-rw-r--r-- 2021-04-17 19:47 +0200 5801 Tr.thy
-rw-r--r-- 2021-04-17 19:47 +0200 32465 Universal.thy
-rw-r--r-- 2021-04-17 19:47 +0200 8307 Up.thy
-rw-r--r-- 2021-04-17 19:47 +0200 19072 UpperPD.thy