src/Pure/Isar/isar_cmd.ML
changeset 58979 162a4c2e97bc
parent 58978 e42da880c61e
child 58991 92b6f4e68c5a
     1.1 --- a/src/Pure/Isar/isar_cmd.ML	Tue Nov 11 18:16:25 2014 +0100
     1.2 +++ b/src/Pure/Isar/isar_cmd.ML	Tue Nov 11 20:11:38 2014 +0100
     1.3 @@ -67,7 +67,7 @@
     1.4  fun local_setup source =
     1.5    ML_Lex.read_source false source
     1.6    |> ML_Context.expression (#range source)
     1.7 -    "val setup: local_theory -> local_theory" "Context.map_proof setup"
     1.8 +    "val local_setup: local_theory -> local_theory" "Context.map_proof local_setup"
     1.9    |> Context.proof_map;
    1.10  
    1.11