/src/HOLCF/FOCUS/
drwxr-xr-x [up]
-rw-r--r-- 2005-06-04 00:22 +0200 10210 Buffer.ML
-rw-r--r-- 2005-06-04 00:22 +0200 3054 Buffer.thy
-rw-r--r-- 2005-06-04 00:22 +0200 10278 Buffer_adm.ML
-rw-r--r-- 2005-06-04 00:22 +0200 214 Buffer_adm.thy
-rw-r--r-- 2005-06-04 00:22 +0200 663 FOCUS.ML
-rw-r--r-- 2005-06-04 00:22 +0200 138 FOCUS.thy
-rw-r--r-- 2005-06-04 00:22 +0200 7861 Fstream.ML
-rw-r--r-- 2005-06-04 00:22 +0200 1207 Fstream.thy
-rw-r--r-- 2005-06-04 00:22 +0200 11800 Fstreams.thy
-rw-r--r-- 2005-06-04 00:22 +0200 940 README.html
-rw-r--r-- 2005-06-04 00:22 +0200 294 ROOT.ML
-rw-r--r-- 2005-06-04 00:22 +0200 5682 Stream_adm.ML
-rw-r--r-- 2005-06-04 00:22 +0200 1040 Stream_adm.thy