| changeset 5232 | e5a7cdd07ea5 |
| parent 5069 | 3ea049f7979d |
| child 5648 | fe887910e32e |
--- a/src/HOL/UNITY/Network.ML Fri Jul 31 18:46:28 1998 +0200 +++ b/src/HOL/UNITY/Network.ML Fri Jul 31 18:46:55 1998 +0200 @@ -8,8 +8,6 @@ From Misra, "A Logic for Concurrent Programming" (1994), section 5.7 *) -open Network; - val [rsA, rsB, sent_nondec, rcvd_nondec, rcvd_idle, sent_idle] = Goalw [stable_def] "[| !! m. stable Acts {s. s(Bproc,Rcvd) <= s(Aproc,Sent)}; \