--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/src/HOLCF/FOCUS/FOCUS.thy Thu May 31 16:53:00 2001 +0200
@@ -0,0 +1,9 @@
+(* Title: HOLCF/FOCUS/FOCUS.thy
+ ID: $ $
+ Author: David von Oheimb, TU Muenchen
+ License: GPL (GNU GENERAL PUBLIC LICENSE)
+
+top level of FOCUS
+*)
+
+FOCUS = Fstream