changeset 7661 | 8c3190b173aa |
parent 3433 | 2de17c994071 |
child 12218 | 6597093b77e7 |
7660:7e38237edfcb | 7661:8c3190b173aa |
---|---|
4 Copyright 1994, 1996 TU Muenchen |
4 Copyright 1994, 1996 TU Muenchen |
5 |
5 |
6 Action signatures |
6 Action signatures |
7 *) |
7 *) |
8 |
8 |
9 Asig = Arith + |
9 Asig = Main + |
10 |
10 |
11 types |
11 types |
12 |
12 |
13 'a signature = "('a set * 'a set * 'a set)" |
13 'a signature = "('a set * 'a set * 'a set)" |
14 |
14 |