src/HOL/UNITY/Network.thy
changeset 4776 1f9362e769c1
child 5111 8f4b72f0c15d
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/HOL/UNITY/Network.thy	Fri Apr 03 12:34:33 1998 +0200
     1.3 @@ -0,0 +1,9 @@
     1.4 +Network = UNITY +
     1.5 +
     1.6 +datatype pvar = Sent | Rcvd | Idle
     1.7 +
     1.8 +datatype pname = Aproc | Bproc
     1.9 +
    1.10 +types state = "pname * pvar => nat"
    1.11 +
    1.12 +end