src/Pure/Isar/isar_cmd.ML
changeset 59930 bdbc4b761c31
parent 59917 9830c944670f
child 60082 d3573eb7728f
     1.1 --- a/src/Pure/Isar/isar_cmd.ML	Mon Apr 06 12:37:21 2015 +0200
     1.2 +++ b/src/Pure/Isar/isar_cmd.ML	Mon Apr 06 12:51:25 2015 +0200
     1.3 @@ -6,7 +6,7 @@
     1.4  
     1.5  signature ISAR_CMD =
     1.6  sig
     1.7 -  val global_setup: Input.source -> theory -> theory
     1.8 +  val setup: Input.source -> theory -> theory
     1.9    val local_setup: Input.source -> Proof.context -> Proof.context
    1.10    val parse_ast_translation: Input.source -> theory -> theory
    1.11    val parse_translation: Input.source -> theory -> theory
    1.12 @@ -57,7 +57,7 @@
    1.13  
    1.14  (* generic setup *)
    1.15  
    1.16 -fun global_setup source =
    1.17 +fun setup source =
    1.18    ML_Lex.read_source false source
    1.19    |> ML_Context.expression (Input.range_of source) "setup" "theory -> theory"
    1.20      "Context.map_theory setup"