changeset 37936 | 1e4c5015a72e |
parent 35416 | d8d7d1b785af |
child 42463 | f270e3e18be5 |
37935:7551769de556 | 37936:1e4c5015a72e |
---|---|
1 (* Title: HOL/UNITY/Channel |
1 (* Title: HOL/UNITY/Simple/Channel.thy |
2 ID: $Id$ |
|
3 Author: Lawrence C Paulson, Cambridge University Computer Laboratory |
2 Author: Lawrence C Paulson, Cambridge University Computer Laboratory |
4 Copyright 1998 University of Cambridge |
3 Copyright 1998 University of Cambridge |
5 |
4 |
6 Unordered Channel |
5 Unordered Channel |
7 |
6 |