/src/HOLCF/
drwxr-xr-x [up]
drwxr-xr-x ex
-rw-r--r-- 1995-01-12 03:00 +0100 3337 Cfun1.ML
-rw-r--r-- 1995-01-12 03:00 +0100 1005 Cfun1.thy
-rw-r--r-- 1995-01-12 03:00 +0100 9168 Cfun2.ML
-rw-r--r-- 1995-01-12 03:00 +0100 519 Cfun2.thy
-rw-r--r-- 1995-01-12 03:00 +0100 11161 Cfun3.ML
-rw-r--r-- 1995-01-12 03:00 +0100 544 Cfun3.thy
-rw-r--r-- 1995-01-12 03:00 +0100 16937 Cont.ML
-rw-r--r-- 1995-01-12 03:00 +0100 1086 Cont.thy
-rw-r--r-- 1995-01-12 03:00 +0100 2821 Cprod1.ML
-rw-r--r-- 1995-01-12 03:00 +0100 397 Cprod1.thy
-rw-r--r-- 1995-01-12 03:00 +0100 4790 Cprod2.ML
-rw-r--r-- 1995-01-12 03:00 +0100 399 Cprod2.thy
-rw-r--r-- 1995-01-12 03:00 +0100 7614 Cprod3.ML
-rw-r--r-- 1995-01-12 03:00 +0100 765 Cprod3.thy
-rw-r--r-- 1995-01-12 03:00 +0100 17312 Dlist.ML
-rw-r--r-- 1995-01-12 03:00 +0100 4663 Dlist.thy
-rw-r--r-- 1995-01-12 03:00 +0100 15556 Dnat.ML
-rw-r--r-- 1995-01-12 03:00 +0100 4033 Dnat.thy
-rw-r--r-- 1995-01-12 03:00 +0100 1449 Dnat2.ML
-rw-r--r-- 1995-01-12 03:00 +0100 467 Dnat2.thy
-rw-r--r-- 1995-01-12 03:00 +0100 30730 Fix.ML
-rw-r--r-- 1995-01-12 03:00 +0100 1034 Fix.thy
-rw-r--r-- 1995-01-12 03:00 +0100 1388 Fun1.ML
-rw-r--r-- 1995-01-12 03:00 +0100 581 Fun1.thy
-rw-r--r-- 1995-01-12 03:00 +0100 3083 Fun2.ML
-rw-r--r-- 1995-01-12 03:00 +0100 618 Fun2.thy
-rw-r--r-- 1995-01-12 03:00 +0100 148 Fun3.ML
-rw-r--r-- 1995-01-12 03:00 +0100 349 Fun3.thy
-rw-r--r-- 1995-01-12 03:00 +0100 415 HOLCF.ML
-rw-r--r-- 1995-01-12 03:00 +0100 185 HOLCF.thy
-rw-r--r-- 1995-01-12 03:00 +0100 3632 Holcfb.ML
-rw-r--r-- 1995-01-12 03:00 +0100 338 Holcfb.thy
-rw-r--r-- 1995-01-12 03:00 +0100 4282 Lift1.ML
-rw-r--r-- 1995-01-12 03:00 +0100 1172 Lift1.thy
-rw-r--r-- 1995-01-12 03:00 +0100 4969 Lift2.ML
-rw-r--r-- 1995-01-12 03:00 +0100 375 Lift2.thy
-rw-r--r-- 1995-01-12 03:00 +0100 8928 Lift3.ML
-rw-r--r-- 1995-01-12 03:00 +0100 464 Lift3.thy
-rw-r--r-- 1995-01-12 03:00 +0100 2393 Makefile
-rw-r--r-- 1995-01-12 03:00 +0100 2929 One.ML
-rw-r--r-- 1995-01-12 03:00 +0100 862 One.thy
-rw-r--r-- 1995-01-12 03:00 +0100 6850 Pcpo.ML
-rw-r--r-- 1995-01-12 03:00 +0100 210 Pcpo.thy
-rw-r--r-- 1995-01-12 03:00 +0100 11485 Porder.ML
-rw-r--r-- 1995-01-12 03:00 +0100 1136 Porder.thy
-rw-r--r-- 1995-01-12 03:00 +0100 850 Porder0.thy
-rw-r--r-- 1995-01-12 03:00 +0100 516 README
-rw-r--r-- 1995-01-12 03:00 +0100 1105 ROOT.ML
-rw-r--r-- 1995-01-12 03:00 +0100 9571 Sprod0.ML
-rw-r--r-- 1995-01-12 03:00 +0100 1279 Sprod0.thy
-rw-r--r-- 1995-01-12 03:00 +0100 5486 Sprod1.ML
-rw-r--r-- 1995-01-12 03:00 +0100 446 Sprod1.thy
-rw-r--r-- 1995-01-12 03:00 +0100 7757 Sprod2.ML
-rw-r--r-- 1995-01-12 03:00 +0100 403 Sprod2.thy
-rw-r--r-- 1995-01-12 03:00 +0100 16968 Sprod3.ML
-rw-r--r-- 1995-01-12 03:00 +0100 810 Sprod3.thy
-rw-r--r-- 1995-01-12 03:00 +0100 10188 Ssum0.ML
-rw-r--r-- 1995-01-12 03:00 +0100 1328 Ssum0.thy
-rw-r--r-- 1995-01-12 03:00 +0100 7826 Ssum1.ML
-rw-r--r-- 1995-01-12 03:00 +0100 534 Ssum1.thy
-rw-r--r-- 1995-01-12 03:00 +0100 11367 Ssum2.ML
-rw-r--r-- 1995-01-12 03:00 +0100 396 Ssum2.thy
-rw-r--r-- 1995-01-12 03:00 +0100 21086 Ssum3.ML
-rw-r--r-- 1995-01-12 03:00 +0100 564 Ssum3.thy
-rw-r--r-- 1995-01-12 03:00 +0100 25060 Stream.ML
-rw-r--r-- 1995-01-12 03:00 +0100 4416 Stream.thy
-rw-r--r-- 1995-01-12 03:00 +0100 1245 Stream2.ML
-rw-r--r-- 1995-01-12 03:00 +0100 445 Stream2.thy
-rw-r--r-- 1995-01-12 03:00 +0100 4599 Tr1.ML
-rw-r--r-- 1995-01-12 03:00 +0100 949 Tr1.thy
-rw-r--r-- 1995-01-12 03:00 +0100 2622 Tr2.ML
-rw-r--r-- 1995-01-12 03:00 +0100 974 Tr2.thy
-rw-r--r-- 1995-01-12 03:00 +0100 1944 Void.ML
-rw-r--r-- 1995-01-12 03:00 +0100 1029 Void.thy
-rw-r--r-- 1995-01-12 03:00 +0100 2510 ccc1.ML
-rw-r--r-- 1995-01-12 03:00 +0100 552 ccc1.thy
-rw-r--r-- 1995-01-12 03:00 +0100 3630 cfun1.ML
-rw-r--r-- 1995-01-12 03:00 +0100 1003 cfun1.thy
-rw-r--r-- 1995-01-12 03:00 +0100 9168 cfun2.ML
-rw-r--r-- 1995-01-12 03:00 +0100 796 cfun2.thy
-rw-r--r-- 1995-01-12 03:00 +0100 11177 cfun3.ML
-rw-r--r-- 1995-01-12 03:00 +0100 542 cfun3.thy
-rw-r--r-- 1995-01-12 03:00 +0100 2212 cinfix.ML
-rw-r--r-- 1995-01-12 03:00 +0100 17886 cont.ML
-rw-r--r-- 1995-01-12 03:00 +0100 1086 cont.thy
-rw-r--r-- 1995-01-12 03:00 +0100 2821 cprod1.ML
-rw-r--r-- 1995-01-12 03:00 +0100 397 cprod1.thy
-rw-r--r-- 1995-01-12 03:00 +0100 4790 cprod2.ML
-rw-r--r-- 1995-01-12 03:00 +0100 397 cprod2.thy
-rw-r--r-- 1995-01-12 03:00 +0100 7614 cprod3.ML
-rw-r--r-- 1995-01-12 03:00 +0100 1026 cprod3.thy
-rw-r--r-- 1995-01-12 03:00 +0100 17312 dlist.ML
-rw-r--r-- 1995-01-12 03:00 +0100 4191 dlist.thy
-rw-r--r-- 1995-01-12 03:00 +0100 15553 dnat.ML
-rw-r--r-- 1995-01-12 03:00 +0100 3597 dnat.thy
-rw-r--r-- 1995-01-12 03:00 +0100 1449 dnat2.ML
-rw-r--r-- 1995-01-12 03:00 +0100 467 dnat2.thy
-rw-r--r-- 1995-01-12 03:00 +0100 30336 fix.ML
-rw-r--r-- 1995-01-12 03:00 +0100 1032 fix.thy
-rw-r--r-- 1995-01-12 03:00 +0100 1388 fun1.ML
-rw-r--r-- 1995-01-12 03:00 +0100 581 fun1.thy
-rw-r--r-- 1995-01-12 03:00 +0100 3083 fun2.ML
-rw-r--r-- 1995-01-12 03:00 +0100 616 fun2.thy
-rw-r--r-- 1995-01-12 03:00 +0100 148 fun3.ML
-rw-r--r-- 1995-01-12 03:00 +0100 347 fun3.thy
-rw-r--r-- 1995-01-12 03:00 +0100 381 holcf.ML
-rw-r--r-- 1995-01-12 03:00 +0100 185 holcf.thy
-rw-r--r-- 1995-01-12 03:00 +0100 3312 holcfb.ML
-rw-r--r-- 1995-01-12 03:00 +0100 338 holcfb.thy
-rw-r--r-- 1995-01-12 03:00 +0100 4282 lift1.ML
-rw-r--r-- 1995-01-12 03:00 +0100 1151 lift1.thy
-rw-r--r-- 1995-01-12 03:00 +0100 4969 lift2.ML
-rw-r--r-- 1995-01-12 03:00 +0100 373 lift2.thy
-rw-r--r-- 1995-01-12 03:00 +0100 8928 lift3.ML
-rw-r--r-- 1995-01-12 03:00 +0100 462 lift3.thy
-rw-r--r-- 1995-01-12 03:00 +0100 2939 one.ML
-rw-r--r-- 1995-01-12 03:00 +0100 1279 one.thy
-rw-r--r-- 1995-01-12 03:00 +0100 6846 pcpo.ML
-rw-r--r-- 1995-01-12 03:00 +0100 823 pcpo.thy
-rw-r--r-- 1995-01-12 03:00 +0100 12025 porder.ML
-rw-r--r-- 1995-01-12 03:00 +0100 1136 porder.thy
-rw-r--r-- 1995-01-12 03:00 +0100 848 porder0.thy
-rw-r--r-- 1995-01-12 03:00 +0100 9571 sprod0.ML
-rw-r--r-- 1995-01-12 03:00 +0100 1279 sprod0.thy
-rw-r--r-- 1995-01-12 03:00 +0100 5486 sprod1.ML
-rw-r--r-- 1995-01-12 03:00 +0100 446 sprod1.thy
-rw-r--r-- 1995-01-12 03:00 +0100 7757 sprod2.ML
-rw-r--r-- 1995-01-12 03:00 +0100 401 sprod2.thy
-rw-r--r-- 1995-01-12 03:00 +0100 16968 sprod3.ML
-rw-r--r-- 1995-01-12 03:00 +0100 1069 sprod3.thy
-rw-r--r-- 1995-01-12 03:00 +0100 10188 ssum0.ML
-rw-r--r-- 1995-01-12 03:00 +0100 1328 ssum0.thy
-rw-r--r-- 1995-01-12 03:00 +0100 7826 ssum1.ML
-rw-r--r-- 1995-01-12 03:00 +0100 534 ssum1.thy
-rw-r--r-- 1995-01-12 03:00 +0100 11367 ssum2.ML
-rw-r--r-- 1995-01-12 03:00 +0100 394 ssum2.thy
-rw-r--r-- 1995-01-12 03:00 +0100 21082 ssum3.ML
-rw-r--r-- 1995-01-12 03:00 +0100 562 ssum3.thy
-rw-r--r-- 1995-01-12 03:00 +0100 23732 stream.ML
-rw-r--r-- 1995-01-12 03:00 +0100 3968 stream.thy
-rw-r--r-- 1995-01-12 03:00 +0100 1245 stream2.ML
-rw-r--r-- 1995-01-12 03:00 +0100 445 stream2.thy
-rw-r--r-- 1995-01-12 03:00 +0100 31 test
-rw-r--r-- 1995-01-12 03:00 +0100 4619 tr1.ML
-rw-r--r-- 1995-01-12 03:00 +0100 1188 tr1.thy
-rw-r--r-- 1995-01-12 03:00 +0100 2163 tr2.ML
-rw-r--r-- 1995-01-12 03:00 +0100 1346 tr2.thy
-rw-r--r-- 1995-01-12 03:00 +0100 1944 void.ML
-rw-r--r-- 1995-01-12 03:00 +0100 1029 void.thy