| changeset 33519 | e31a85f92ce9 |
| parent 33038 | 8f9594c31de4 |
| child 33636 | a9bb3f063773 |
--- a/src/Tools/Code/code_ml.ML Sun Nov 08 16:28:18 2009 +0100 +++ b/src/Tools/Code/code_ml.ML Sun Nov 08 16:30:41 2009 +0100 @@ -947,7 +947,7 @@ local -structure CodeAntiqData = ProofDataFun +structure CodeAntiqData = Proof_Data ( type T = (string list * string list) * (bool * (string * (string * ((string * string) list * (string * string) list)) lazy));