--- a/src/HOL/UNITY/Network.ML Wed Apr 28 13:36:31 1999 +0200
+++ b/src/HOL/UNITY/Network.ML Thu Apr 29 10:51:58 1999 +0200
@@ -14,9 +14,9 @@
\ !! m. F : stable {s. s(Aproc,Rcvd) <= s(Bproc,Sent)}; \
\ !! m proc. F : stable {s. m <= s(proc,Sent)}; \
\ !! n proc. F : stable {s. n <= s(proc,Rcvd)}; \
-\ !! m proc. F : constrains {s. s(proc,Idle) = 1 & s(proc,Rcvd) = m} \
+\ !! m proc. F : {s. s(proc,Idle) = 1 & s(proc,Rcvd) = m} co \
\ {s. s(proc,Rcvd) = m --> s(proc,Idle) = 1}; \
-\ !! n proc. F : constrains {s. s(proc,Idle) = 1 & s(proc,Sent) = n} \
+\ !! n proc. F : {s. s(proc,Idle) = 1 & s(proc,Sent) = n} co \
\ {s. s(proc,Sent) = n} \
\ |] ==> F : stable {s. s(Aproc,Idle) = 1 & s(Bproc,Idle) = 1 & \
\ s(Aproc,Sent) = s(Bproc,Rcvd) & \