changeset 42463 | f270e3e18be5 |
parent 36866 | 426d5781bb25 |
child 46752 | e9e7209eb375 |
--- a/src/HOL/UNITY/Comp/Client.thy Fri Apr 22 15:57:43 2011 +0200 +++ b/src/HOL/UNITY/Comp/Client.thy Sat Apr 23 13:00:19 2011 +0200 @@ -7,7 +7,7 @@ theory Client imports "../Rename" AllocBase begin -types +type_synonym tokbag = nat --{*tokbags could be multisets...or any ordered type?*} record state =