src/HOLCF/IOA/meta_theory/IOA.thy

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/HOLCF/IOA/meta_theory/IOA.thy	Wed Apr 30 11:20:15 1997 +0200
@@ -0,0 +1,13 @@
+(*  Title:      HOLCF/IOA/meta_theory/IOA.thy
+    ID:        
+    Author:     Olaf Mueller
+    Copyright   1996,1997  TU Muenchen
+
+The theory of I/O automata in HOLCF.
+*)   
+
+ 
+	       
+IOA = RefCorrectness + Compositionality
+
+