| changeset 33519 | e31a85f92ce9 |
| parent 33466 | 8f2e102f6628 |
| child 33537 | 06c87d2c5b5a |
--- a/src/Pure/Isar/theory_target.ML Sun Nov 08 16:28:18 2009 +0100 +++ b/src/Pure/Isar/theory_target.ML Sun Nov 08 16:30:41 2009 +0100 @@ -34,7 +34,7 @@ val global_target = make_target "" false false ([], [], []) []; -structure Data = ProofDataFun +structure Data = Proof_Data ( type T = target; fun init _ = global_target;