src/Pure/proof_general.ML
changeset 20951 868120282837
parent 20738 a965cad7d455
child 21350 6e58289b6685
     1.1 --- a/src/Pure/proof_general.ML	Tue Oct 10 13:59:12 2006 +0200
     1.2 +++ b/src/Pure/proof_general.ML	Tue Oct 10 13:59:13 2006 +0200
     1.3 @@ -385,7 +385,7 @@
     1.4  
     1.5  fun add_master_files name files =
     1.6    let val masters = [ThyLoad.thy_path name, ThyLoad.ml_path name]
     1.7 -  in masters @ gen_rems (op = o pairself Path.base) (files, masters) end;
     1.8 +  in masters @ subtract (op = o pairself Path.base) masters files end;
     1.9  
    1.10  fun trace_action action name =
    1.11    if action = ThyInfo.Update then