/src/HOLCF/
drwxr-xr-x [up]
drwxr-xr-x FOCUS
drwxr-xr-x IMP
drwxr-xr-x IOA
drwxr-xr-x domain
drwxr-xr-x ex
-rw-r--r-- 2004-06-21 10:25 +0200 2940 Cfun1.ML
-rw-r--r-- 2004-06-21 10:25 +0200 1079 Cfun1.thy
-rw-r--r-- 2004-06-21 10:25 +0200 9086 Cfun2.ML
-rw-r--r-- 2004-06-21 10:25 +0200 226 Cfun2.thy
-rw-r--r-- 2004-06-21 10:25 +0200 15744 Cfun3.ML
-rw-r--r-- 2004-06-21 10:25 +0200 831 Cfun3.thy
-rw-r--r-- 2004-06-21 10:25 +0200 16997 Cont.ML
-rw-r--r-- 2004-06-21 10:25 +0200 1153 Cont.thy
-rw-r--r-- 2004-06-21 10:25 +0200 917 Cprod1.ML
-rw-r--r-- 2004-06-21 10:25 +0200 303 Cprod1.thy
-rw-r--r-- 2004-06-21 10:25 +0200 3777 Cprod2.ML
-rw-r--r-- 2004-06-21 10:25 +0200 250 Cprod2.thy
-rw-r--r-- 2004-06-21 10:25 +0200 6431 Cprod3.ML
-rw-r--r-- 2004-06-21 10:25 +0200 1874 Cprod3.thy
-rw-r--r-- 2004-06-21 10:25 +0200 540 Discrete.ML
-rw-r--r-- 2004-06-21 10:25 +0200 266 Discrete.thy
-rw-r--r-- 2004-06-21 10:25 +0200 488 Discrete0.ML
-rw-r--r-- 2004-06-21 10:25 +0200 291 Discrete0.thy
-rw-r--r-- 2004-06-21 10:25 +0200 732 Discrete1.ML
-rw-r--r-- 2004-06-21 10:25 +0200 221 Discrete1.thy
-rw-r--r-- 2004-06-21 10:25 +0200 21954 Fix.ML
-rw-r--r-- 2004-06-21 10:25 +0200 744 Fix.thy
-rw-r--r-- 2004-06-21 10:25 +0200 1045 Fun1.ML
-rw-r--r-- 2004-06-21 10:25 +0200 431 Fun1.thy
-rw-r--r-- 2004-06-21 10:25 +0200 2821 Fun2.ML
-rw-r--r-- 2004-06-21 10:25 +0200 234 Fun2.thy
-rw-r--r-- 2004-06-21 10:25 +0200 235 Fun3.ML
-rw-r--r-- 2004-06-21 10:25 +0200 294 Fun3.thy
-rw-r--r-- 2004-06-21 10:25 +0200 256 HOLCF.ML
-rw-r--r-- 2004-06-21 10:25 +0200 180 HOLCF.thy
-rw-r--r-- 2004-06-21 10:25 +0200 5753 IsaMakefile
-rw-r--r-- 2004-06-21 10:25 +0200 1843 Lift.ML
-rw-r--r-- 2004-06-21 10:25 +0200 8943 Lift.thy
-rw-r--r-- 2004-06-21 10:25 +0200 1345 One.ML
-rw-r--r-- 2004-06-21 10:25 +0200 216 One.thy
-rw-r--r-- 2004-06-21 10:25 +0200 8893 Pcpo.ML
-rw-r--r-- 2004-06-21 10:25 +0200 841 Pcpo.thy
-rw-r--r-- 2004-06-21 10:25 +0200 5946 Porder.ML
-rw-r--r-- 2004-06-21 10:25 +0200 1392 Porder.thy
-rw-r--r-- 2004-06-21 10:25 +0200 1167 Porder0.ML
-rw-r--r-- 2004-06-21 10:25 +0200 641 Porder0.thy
-rw-r--r-- 2004-06-21 10:25 +0200 1285 README.html
-rw-r--r-- 2004-06-21 10:25 +0200 508 ROOT.ML
-rw-r--r-- 2004-06-21 10:25 +0200 8704 Sprod0.ML
-rw-r--r-- 2004-06-21 10:25 +0200 1030 Sprod0.thy
-rw-r--r-- 2004-06-21 10:25 +0200 823 Sprod1.ML
-rw-r--r-- 2004-06-21 10:25 +0200 278 Sprod1.thy
-rw-r--r-- 2004-06-21 10:25 +0200 3718 Sprod2.ML
-rw-r--r-- 2004-06-21 10:25 +0200 241 Sprod2.thy
-rw-r--r-- 2004-06-21 10:25 +0200 12961 Sprod3.ML
-rw-r--r-- 2004-06-21 10:25 +0200 777 Sprod3.thy
-rw-r--r-- 2004-06-21 10:25 +0200 8452 Ssum0.ML
-rw-r--r-- 2004-06-21 10:25 +0200 1113 Ssum0.thy
-rw-r--r-- 2004-06-21 10:25 +0200 7703 Ssum1.ML
-rw-r--r-- 2004-06-21 10:25 +0200 469 Ssum1.thy
-rw-r--r-- 2004-06-21 10:25 +0200 11053 Ssum2.ML
-rw-r--r-- 2004-06-21 10:25 +0200 232 Ssum2.thy
-rw-r--r-- 2004-06-21 10:25 +0200 15547 Ssum3.ML
-rw-r--r-- 2004-06-21 10:25 +0200 597 Ssum3.thy
-rw-r--r-- 2004-06-21 10:25 +0200 20351 Streams.thy
-rw-r--r-- 2004-06-21 10:25 +0200 5925 Tr.ML
-rw-r--r-- 2004-06-21 10:25 +0200 1221 Tr.thy
-rw-r--r-- 2004-06-21 10:25 +0200 3402 Up1.ML
-rw-r--r-- 2004-06-21 10:25 +0200 698 Up1.thy
-rw-r--r-- 2004-06-21 10:25 +0200 4894 Up2.ML
-rw-r--r-- 2004-06-21 10:25 +0200 208 Up2.thy
-rw-r--r-- 2004-06-21 10:25 +0200 7386 Up3.ML
-rw-r--r-- 2004-06-21 10:25 +0200 412 Up3.thy
-rw-r--r-- 2004-06-21 10:25 +0200 6032 adm.ML
-rw-r--r-- 2004-06-21 10:25 +0200 4378 cont_consts.ML
-rw-r--r-- 2004-06-21 10:25 +0200 1286 holcf_logic.ML