| changeset 19612 | 1e133047809a |
| parent 19583 | c5fa77b03442 |
| child 19617 | 7cb4b67d4b97 |
| 19611:da2a0014c461 | 19612:1e133047809a |
|---|---|
11 |
11 |
12 (* Theory Dependencies *) |
12 (* Theory Dependencies *) |
13 val acc_const_name = "Accessible_Part.acc" |
13 val acc_const_name = "Accessible_Part.acc" |
14 |
14 |
15 |
15 |
16 |
|
17 (* Partial orders to represent dependencies *) |
|
18 structure IntGraph = GraphFun(type key = int val ord = int_ord); |
|
19 |
16 |
20 type depgraph = int IntGraph.T |
17 type depgraph = int IntGraph.T |
21 |
18 |
22 |
19 |
23 datatype ctx_tree |
20 datatype ctx_tree |