changeset 24389 | 9ddef2b1118a |
parent 24303 | 32b67bdf2c3a |
child 24657 | 185502d54c3d |
--- a/src/Pure/Isar/theory_target.ML Tue Aug 21 20:05:38 2007 +0200 +++ b/src/Pure/Isar/theory_target.ML Tue Aug 21 20:05:40 2007 +0200 @@ -301,7 +301,7 @@ |> ProofContext.qualified_names |> ProofContext.note_thmss_i kind local_facts ||> ProofContext.restore_naming lthy - ||> ProofContext.restore_stmt lthy + ||> ProofContext.restore_mode lthy end;