changeset 16417 | 9bc16273c2d4 |
parent 13806 | fd40c9d9076b |
child 18556 | dc39832e9280 |
--- a/src/HOL/UNITY/Simple/Channel.thy Fri Jun 17 11:35:35 2005 +0200 +++ b/src/HOL/UNITY/Simple/Channel.thy Fri Jun 17 16:12:49 2005 +0200 @@ -8,7 +8,7 @@ From Misra, "A Logic for Concurrent Programming" (1994), section 13.3 *) -theory Channel = UNITY_Main: +theory Channel imports UNITY_Main begin types state = "nat set"