| 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 |