/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-- 2001-08-06 12:42 +0200 2994 Cfun1.ML
-rw-r--r-- 2001-08-06 12:42 +0200 1132 Cfun1.thy
-rw-r--r-- 2001-08-06 12:42 +0200 9119 Cfun2.ML
-rw-r--r-- 2001-08-06 12:42 +0200 280 Cfun2.thy
-rw-r--r-- 2001-08-06 12:42 +0200 15798 Cfun3.ML
-rw-r--r-- 2001-08-06 12:42 +0200 885 Cfun3.thy
-rw-r--r-- 2001-08-06 12:42 +0200 17051 Cont.ML
-rw-r--r-- 2001-08-06 12:42 +0200 1207 Cont.thy
-rw-r--r-- 2001-08-06 12:42 +0200 972 Cprod1.ML
-rw-r--r-- 2001-08-06 12:42 +0200 360 Cprod1.thy
-rw-r--r-- 2001-08-06 12:42 +0200 3831 Cprod2.ML
-rw-r--r-- 2001-08-06 12:42 +0200 304 Cprod2.thy
-rw-r--r-- 2001-08-06 12:42 +0200 6485 Cprod3.ML
-rw-r--r-- 2001-08-06 12:42 +0200 1920 Cprod3.thy
-rw-r--r-- 2001-08-06 12:42 +0200 565 Discrete.ML
-rw-r--r-- 2001-08-06 12:42 +0200 290 Discrete.thy
-rw-r--r-- 2001-08-06 12:42 +0200 513 Discrete0.ML
-rw-r--r-- 2001-08-06 12:42 +0200 314 Discrete0.thy
-rw-r--r-- 2001-08-06 12:42 +0200 757 Discrete1.ML
-rw-r--r-- 2001-08-06 12:42 +0200 244 Discrete1.thy
-rw-r--r-- 2001-08-06 12:42 +0200 22079 Fix.ML
-rw-r--r-- 2001-08-06 12:42 +0200 801 Fix.thy
-rw-r--r-- 2001-08-06 12:42 +0200 1100 Fun1.ML
-rw-r--r-- 2001-08-06 12:42 +0200 486 Fun1.thy
-rw-r--r-- 2001-08-06 12:42 +0200 2907 Fun2.ML
-rw-r--r-- 2001-08-06 12:42 +0200 319 Fun2.thy
-rw-r--r-- 2001-08-06 12:42 +0200 289 Fun3.ML
-rw-r--r-- 2001-08-06 12:42 +0200 346 Fun3.thy
-rw-r--r-- 2001-08-06 12:42 +0200 310 HOLCF.ML
-rw-r--r-- 2001-08-06 12:42 +0200 235 HOLCF.thy
-rw-r--r-- 2001-08-06 12:42 +0200 5791 IsaMakefile
-rw-r--r-- 2001-08-06 12:42 +0200 3002 Lift.ML
-rw-r--r-- 2001-08-06 12:42 +0200 223 Lift.thy
-rw-r--r-- 2001-08-06 12:42 +0200 748 Lift1.ML
-rw-r--r-- 2001-08-06 12:42 +0200 349 Lift1.thy
-rw-r--r-- 2001-08-06 12:42 +0200 2819 Lift2.ML
-rw-r--r-- 2001-08-06 12:42 +0200 275 Lift2.thy
-rw-r--r-- 2001-08-06 12:42 +0200 4475 Lift3.ML
-rw-r--r-- 2001-08-06 12:42 +0200 934 Lift3.thy
-rw-r--r-- 2001-08-06 12:42 +0200 1403 One.ML
-rw-r--r-- 2001-08-06 12:42 +0200 270 One.thy
-rw-r--r-- 2001-08-06 12:42 +0200 8875 Pcpo.ML
-rw-r--r-- 2001-08-06 12:42 +0200 894 Pcpo.thy
-rw-r--r-- 2001-08-06 12:42 +0200 5988 Porder.ML
-rw-r--r-- 2001-08-06 12:42 +0200 1455 Porder.thy
-rw-r--r-- 2001-08-06 12:42 +0200 1225 Porder0.ML
-rw-r--r-- 2001-08-06 12:42 +0200 692 Porder0.thy
-rw-r--r-- 2001-08-06 12:42 +0200 1285 README.html
-rw-r--r-- 2001-08-06 12:42 +0200 563 ROOT.ML
-rw-r--r-- 2001-08-06 12:42 +0200 8761 Sprod0.ML
-rw-r--r-- 2001-08-06 12:42 +0200 997 Sprod0.thy
-rw-r--r-- 2001-08-06 12:42 +0200 879 Sprod1.ML
-rw-r--r-- 2001-08-06 12:42 +0200 332 Sprod1.thy
-rw-r--r-- 2001-08-06 12:42 +0200 3772 Sprod2.ML
-rw-r--r-- 2001-08-06 12:42 +0200 295 Sprod2.thy
-rw-r--r-- 2001-08-06 12:42 +0200 13015 Sprod3.ML
-rw-r--r-- 2001-08-06 12:42 +0200 831 Sprod3.thy
-rw-r--r-- 2001-08-06 12:42 +0200 8507 Ssum0.ML
-rw-r--r-- 2001-08-06 12:42 +0200 1081 Ssum0.thy
-rw-r--r-- 2001-08-06 12:42 +0200 7758 Ssum1.ML
-rw-r--r-- 2001-08-06 12:42 +0200 524 Ssum1.thy
-rw-r--r-- 2001-08-06 12:42 +0200 11107 Ssum2.ML
-rw-r--r-- 2001-08-06 12:42 +0200 286 Ssum2.thy
-rw-r--r-- 2001-08-06 12:42 +0200 15601 Ssum3.ML
-rw-r--r-- 2001-08-06 12:42 +0200 651 Ssum3.thy
-rw-r--r-- 2001-08-06 12:42 +0200 5980 Tr.ML
-rw-r--r-- 2001-08-06 12:42 +0200 1275 Tr.thy
-rw-r--r-- 2001-08-06 12:42 +0200 3456 Up1.ML
-rw-r--r-- 2001-08-06 12:42 +0200 754 Up1.thy
-rw-r--r-- 2001-08-06 12:42 +0200 4948 Up2.ML
-rw-r--r-- 2001-08-06 12:42 +0200 263 Up2.thy
-rw-r--r-- 2001-08-06 12:42 +0200 7440 Up3.ML
-rw-r--r-- 2001-08-06 12:42 +0200 468 Up3.thy
-rw-r--r-- 2001-08-06 12:42 +0200 6081 adm.ML
-rw-r--r-- 2001-08-06 12:42 +0200 3630 cfun1.ML
-rw-r--r-- 2001-08-06 12:42 +0200 1003 cfun1.thy
-rw-r--r-- 2001-08-06 12:42 +0200 9168 cfun2.ML
-rw-r--r-- 2001-08-06 12:42 +0200 796 cfun2.thy
-rw-r--r-- 2001-08-06 12:42 +0200 11177 cfun3.ML
-rw-r--r-- 2001-08-06 12:42 +0200 542 cfun3.thy
-rw-r--r-- 2001-08-06 12:42 +0200 2212 cinfix.ML
-rw-r--r-- 2001-08-06 12:42 +0200 17886 cont.ML
-rw-r--r-- 2001-08-06 12:42 +0200 1086 cont.thy
-rw-r--r-- 2001-08-06 12:42 +0200 3665 cont_consts.ML
-rw-r--r-- 2001-08-06 12:42 +0200 2821 cprod1.ML
-rw-r--r-- 2001-08-06 12:42 +0200 397 cprod1.thy
-rw-r--r-- 2001-08-06 12:42 +0200 4790 cprod2.ML
-rw-r--r-- 2001-08-06 12:42 +0200 397 cprod2.thy
-rw-r--r-- 2001-08-06 12:42 +0200 7614 cprod3.ML
-rw-r--r-- 2001-08-06 12:42 +0200 1026 cprod3.thy
-rw-r--r-- 2001-08-06 12:42 +0200 17312 dlist.ML
-rw-r--r-- 2001-08-06 12:42 +0200 4191 dlist.thy
-rw-r--r-- 2001-08-06 12:42 +0200 15553 dnat.ML
-rw-r--r-- 2001-08-06 12:42 +0200 3597 dnat.thy
-rw-r--r-- 2001-08-06 12:42 +0200 1449 dnat2.ML
-rw-r--r-- 2001-08-06 12:42 +0200 467 dnat2.thy
-rw-r--r-- 2001-08-06 12:42 +0200 30336 fix.ML
-rw-r--r-- 2001-08-06 12:42 +0200 1032 fix.thy
-rw-r--r-- 2001-08-06 12:42 +0200 1388 fun1.ML
-rw-r--r-- 2001-08-06 12:42 +0200 581 fun1.thy
-rw-r--r-- 2001-08-06 12:42 +0200 3083 fun2.ML
-rw-r--r-- 2001-08-06 12:42 +0200 616 fun2.thy
-rw-r--r-- 2001-08-06 12:42 +0200 148 fun3.ML
-rw-r--r-- 2001-08-06 12:42 +0200 347 fun3.thy
-rw-r--r-- 2001-08-06 12:42 +0200 381 holcf.ML
-rw-r--r-- 2001-08-06 12:42 +0200 185 holcf.thy
-rw-r--r-- 2001-08-06 12:42 +0200 1329 holcf_logic.ML
-rw-r--r-- 2001-08-06 12:42 +0200 3312 holcfb.ML
-rw-r--r-- 2001-08-06 12:42 +0200 338 holcfb.thy
-rw-r--r-- 2001-08-06 12:42 +0200 4282 lift1.ML
-rw-r--r-- 2001-08-06 12:42 +0200 1151 lift1.thy
-rw-r--r-- 2001-08-06 12:42 +0200 4969 lift2.ML
-rw-r--r-- 2001-08-06 12:42 +0200 373 lift2.thy
-rw-r--r-- 2001-08-06 12:42 +0200 8928 lift3.ML
-rw-r--r-- 2001-08-06 12:42 +0200 462 lift3.thy
-rw-r--r-- 2001-08-06 12:42 +0200 2939 one.ML
-rw-r--r-- 2001-08-06 12:42 +0200 1279 one.thy
-rw-r--r-- 2001-08-06 12:42 +0200 6846 pcpo.ML
-rw-r--r-- 2001-08-06 12:42 +0200 823 pcpo.thy
-rw-r--r-- 2001-08-06 12:42 +0200 12025 porder.ML
-rw-r--r-- 2001-08-06 12:42 +0200 1136 porder.thy
-rw-r--r-- 2001-08-06 12:42 +0200 848 porder0.thy
-rw-r--r-- 2001-08-06 12:42 +0200 9571 sprod0.ML
-rw-r--r-- 2001-08-06 12:42 +0200 1279 sprod0.thy
-rw-r--r-- 2001-08-06 12:42 +0200 5486 sprod1.ML
-rw-r--r-- 2001-08-06 12:42 +0200 446 sprod1.thy
-rw-r--r-- 2001-08-06 12:42 +0200 7757 sprod2.ML
-rw-r--r-- 2001-08-06 12:42 +0200 401 sprod2.thy
-rw-r--r-- 2001-08-06 12:42 +0200 16968 sprod3.ML
-rw-r--r-- 2001-08-06 12:42 +0200 1069 sprod3.thy
-rw-r--r-- 2001-08-06 12:42 +0200 10188 ssum0.ML
-rw-r--r-- 2001-08-06 12:42 +0200 1328 ssum0.thy
-rw-r--r-- 2001-08-06 12:42 +0200 7826 ssum1.ML
-rw-r--r-- 2001-08-06 12:42 +0200 534 ssum1.thy
-rw-r--r-- 2001-08-06 12:42 +0200 11367 ssum2.ML
-rw-r--r-- 2001-08-06 12:42 +0200 394 ssum2.thy
-rw-r--r-- 2001-08-06 12:42 +0200 21082 ssum3.ML
-rw-r--r-- 2001-08-06 12:42 +0200 562 ssum3.thy
-rw-r--r-- 2001-08-06 12:42 +0200 23732 stream.ML
-rw-r--r-- 2001-08-06 12:42 +0200 3968 stream.thy
-rw-r--r-- 2001-08-06 12:42 +0200 1245 stream2.ML
-rw-r--r-- 2001-08-06 12:42 +0200 445 stream2.thy
-rw-r--r-- 2001-08-06 12:42 +0200 31 test
-rw-r--r-- 2001-08-06 12:42 +0200 4619 tr1.ML
-rw-r--r-- 2001-08-06 12:42 +0200 1188 tr1.thy
-rw-r--r-- 2001-08-06 12:42 +0200 2163 tr2.ML
-rw-r--r-- 2001-08-06 12:42 +0200 1346 tr2.thy
-rw-r--r-- 2001-08-06 12:42 +0200 1944 void.ML
-rw-r--r-- 2001-08-06 12:42 +0200 1029 void.thy