--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/src/HOL/UNITY/Network.thy Fri Apr 03 12:34:33 1998 +0200
@@ -0,0 +1,9 @@
+Network = UNITY +
+
+datatype pvar = Sent | Rcvd | Idle
+
+datatype pname = Aproc | Bproc
+
+types state = "pname * pvar => nat"
+
+end