changeset 12338 | de0f4a63baa5 |
parent 12218 | 6597093b77e7 |
child 12919 | d6a0d168291e |
12337:7c6a970f0808 | 12338:de0f4a63baa5 |
---|---|
7 *) |
7 *) |
8 |
8 |
9 |
9 |
10 Automata = Option + Asig + Inductive + |
10 Automata = Option + Asig + Inductive + |
11 |
11 |
12 default term |
12 default type |
13 |
13 |
14 types |
14 types |
15 ('a,'s)transition = "'s * 'a * 's" |
15 ('a,'s)transition = "'s * 'a * 's" |
16 ('a,'s)ioa = "'a signature * 's set * ('a,'s)transition set * |
16 ('a,'s)ioa = "'a signature * 's set * ('a,'s)transition set * |
17 (('a set) set) * (('a set) set)" |
17 (('a set) set) * (('a set) set)" |