| changeset 33519 | e31a85f92ce9 |
| parent 33049 | c38f02fdf35d |
| child 33955 | fff6f11b1f09 |
--- a/src/Pure/variable.ML Sun Nov 08 16:28:18 2009 +0100 +++ b/src/Pure/variable.ML Sun Nov 08 16:30:41 2009 +0100 @@ -86,7 +86,7 @@ Data {is_body = is_body, names = names, consts = consts, fixes = fixes, binds = binds, type_occs = type_occs, maxidx = maxidx, sorts = sorts, constraints = constraints}; -structure Data = ProofDataFun +structure Data = Proof_Data ( type T = data; fun init _ =