| changeset 36452 | d37c6eed8117 |
| parent 36176 | 3fe7e97ccca8 |
| 36451:ddc965e172c4 | 36452:d37c6eed8117 |
|---|---|
6 |
6 |
7 theory Automata |
7 theory Automata |
8 imports Asig |
8 imports Asig |
9 begin |
9 begin |
10 |
10 |
11 defaultsort type |
11 default_sort type |
12 |
12 |
13 types |
13 types |
14 ('a, 's) transition = "'s * 'a * 's" |
14 ('a, 's) transition = "'s * 'a * 's" |
15 ('a, 's) ioa = "'a signature * 's set * ('a,'s)transition set * ('a set set) * ('a set set)" |
15 ('a, 's) ioa = "'a signature * 's set * ('a,'s)transition set * ('a set set) * ('a set set)" |
16 |
16 |