changeset 13796 | 19f50fa807ae |
parent 12338 | de0f4a63baa5 |
child 14088 | 61bd46feb919 |
13795:cfa3441c5238 | 13796:19f50fa807ae |
---|---|
4 Copyright 2001 University of Cambridge |
4 Copyright 2001 University of Cambridge |
5 |
5 |
6 Auxiliary definitions needed in Priority.thy |
6 Auxiliary definitions needed in Priority.thy |
7 *) |
7 *) |
8 |
8 |
9 PriorityAux = Main + |
9 PriorityAux = UNITY_Main + |
10 |
10 |
11 types vertex |
11 types vertex |
12 arities vertex :: type |
12 arities vertex :: type |
13 |
13 |
14 constdefs |
14 constdefs |