src/Pure/Isar/isar_thy.ML
changeset 6253 dbaf79ac2ff9
parent 6246 0aa2e536bc20
child 6266 a5f9fa6b6d7c
     1.1 --- a/src/Pure/Isar/isar_thy.ML	Fri Feb 05 21:14:17 1999 +0100
     1.2 +++ b/src/Pure/Isar/isar_thy.ML	Fri Feb 05 21:26:20 1999 +0100
     1.3 @@ -255,9 +255,9 @@
     1.4  
     1.5  (* context switch *)
     1.6  
     1.7 -fun switch_theory require name =
     1.8 +fun switch_theory load name =
     1.9    Toplevel.init_theory
    1.10 -    (fn () => (Context.save require name; ThyInfo.get_theory name)) (K ());
    1.11 +    (fn () => (Context.save load name; ThyInfo.get_theory name)) (K ());
    1.12  
    1.13  val context = switch_theory ThyInfo.use_thy;
    1.14  val update_context = switch_theory ThyInfo.update_thy;