# HG changeset patch
# User mueller
# Date 866126883 -7200
# Node ID ba4f83a24ad85de242db875e4ccd13ab0f74aab6
# Parent  2de17c994071f348f8da22caa70cf66f98f6ba82
added deadlock

diff -r 2de17c994071 -r ba4f83a24ad8 src/HOLCF/IOA/meta_theory/IOA.thy
--- a/src/HOLCF/IOA/meta_theory/IOA.thy	Thu Jun 12 16:47:15 1997 +0200
+++ b/src/HOLCF/IOA/meta_theory/IOA.thy	Thu Jun 12 16:48:03 1997 +0200
@@ -8,6 +8,6 @@
 
  
 	       
-IOA = RefCorrectness + Compositionality
+IOA = RefCorrectness + Compositionality + Deadlock