changeset 5068 | fb28eaa07e01 |
parent 4423 | a129b817b58a |
child 12218 | 6597093b77e7 |
--- a/src/HOLCF/IOA/NTP/Receiver.ML Mon Jun 22 17:12:27 1998 +0200 +++ b/src/HOLCF/IOA/NTP/Receiver.ML Mon Jun 22 17:13:09 1998 +0200 @@ -4,7 +4,7 @@ Copyright 1994 TU Muenchen *) -goal Receiver.thy +Goal "S_msg(m) ~: actions(receiver_asig) & \ \ R_msg(m) : actions(receiver_asig) & \ \ S_pkt(pkt) ~: actions(receiver_asig) & \