| changeset 16417 | 9bc16273c2d4 |
| parent 13806 | fd40c9d9076b |
| child 32960 | 69916a850301 |
--- a/src/HOL/UNITY/Simple/Network.thy Fri Jun 17 11:35:35 2005 +0200 +++ b/src/HOL/UNITY/Simple/Network.thy Fri Jun 17 16:12:49 2005 +0200 @@ -8,7 +8,7 @@ From Misra, "A Logic for Concurrent Programming" (1994), section 5.7 *) -theory Network = UNITY: +theory Network imports UNITY begin (*The state assigns a number to each process variable*)