changeset 58889 | 5b7a9633cfa8 |
parent 58310 | 91ea607a34d8 |
child 58963 | 26bf09b95dda |
58888:9537bf1c4853 | 58889:5b7a9633cfa8 |
---|---|
2 Author: Giampaolo Bella |
2 Author: Giampaolo Bella |
3 Author: Fabio Massacci |
3 Author: Fabio Massacci |
4 Author: Lawrence C Paulson |
4 Author: Lawrence C Paulson |
5 *) |
5 *) |
6 |
6 |
7 header{*Theory of Events for SET*} |
7 section{*Theory of Events for SET*} |
8 |
8 |
9 theory Event_SET |
9 theory Event_SET |
10 imports Message_SET |
10 imports Message_SET |
11 begin |
11 begin |
12 |
12 |