changeset 16417 | 9bc16273c2d4 |
parent 16183 | 052d9aba392d |
child 24893 | b8ef7afe3a6b |
--- a/src/ZF/UNITY/UNITY.thy Fri Jun 17 11:35:35 2005 +0200 +++ b/src/ZF/UNITY/UNITY.thy Fri Jun 17 16:12:49 2005 +0200 @@ -6,7 +6,7 @@ header {*The Basic UNITY Theory*} -theory UNITY = State: +theory UNITY imports State begin text{*The basic UNITY theory (revised version, based upon the "co" operator) From Misra, "A Logic for Concurrent Programming", 1994.