| changeset 19612 | 1e133047809a |
| parent 19583 | c5fa77b03442 |
| child 19617 | 7cb4b67d4b97 |
--- a/src/HOL/Tools/function_package/fundef_common.ML Thu May 11 15:46:40 2006 +0200 +++ b/src/HOL/Tools/function_package/fundef_common.ML Thu May 11 19:15:12 2006 +0200 @@ -14,9 +14,6 @@ -(* Partial orders to represent dependencies *) -structure IntGraph = GraphFun(type key = int val ord = int_ord); - type depgraph = int IntGraph.T