| changeset 22846 | fb79144af9a3 |
| parent 22692 | 1e057a3f087d |
| child 23087 | ad7244663431 |
--- a/src/Pure/Isar/theory_target.ML Sun May 06 21:50:17 2007 +0200 +++ b/src/Pure/Isar/theory_target.ML Mon May 07 00:49:59 2007 +0200 @@ -22,13 +22,10 @@ structure Data = ProofDataFun ( - val name = "Isar/theory_target"; type T = string option; fun init _ = NONE; - fun print _ _ = (); ); -val _ = Context.add_setup Data.init; val peek = Data.get;