src/HOL/UNITY/Network.thy
author paulson
Fri Apr 03 12:34:33 1998 +0200 (1998-04-03)
changeset 4776 1f9362e769c1
child 5111 8f4b72f0c15d
permissions -rw-r--r--
New UNITY theory
paulson@4776
     1
Network = UNITY +
paulson@4776
     2
paulson@4776
     3
datatype pvar = Sent | Rcvd | Idle
paulson@4776
     4
paulson@4776
     5
datatype pname = Aproc | Bproc
paulson@4776
     6
paulson@4776
     7
types state = "pname * pvar => nat"
paulson@4776
     8
paulson@4776
     9
end