made MLWorks happy;
authorwenzelm
Fri Feb 05 21:26:20 1999 +0100 (1999-02-05 ago)
changeset 6253dbaf79ac2ff9
parent 6252 935f183bf406
child 6254 f6335d319e9f
made MLWorks happy;
src/Pure/Isar/isar_thy.ML
     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;