/src/HOLCF/FOCUS/
drwxr-xr-x [up]
-rw-r--r-- 2010-10-12 06:20 -0700 12797 Buffer.thy
-rw-r--r-- 2010-10-12 06:20 -0700 10045 Buffer_adm.thy
-rw-r--r-- 2010-10-12 06:20 -0700 564 FOCUS.thy
-rw-r--r-- 2010-10-12 06:20 -0700 7527 Fstream.thy
-rw-r--r-- 2010-10-12 06:20 -0700 10853 Fstreams.thy
-rw-r--r-- 2010-10-12 06:20 -0700 940 README.html
-rw-r--r-- 2010-10-12 06:20 -0700 46 ROOT.ML
-rw-r--r-- 2010-10-12 06:20 -0700 6286 Stream_adm.thy