src/HOL/Tools/res_atp.ML
changeset 26662 39483503705f
parent 26501 494f418cc51c
child 26675 fba93ce71435
     1.1 --- a/src/HOL/Tools/res_atp.ML	Tue Apr 15 18:49:13 2008 +0200
     1.2 +++ b/src/HOL/Tools/res_atp.ML	Tue Apr 15 18:49:15 2008 +0200
     1.3 @@ -480,7 +480,7 @@
     1.4      fun dest_valid (space, tab) = Symtab.fold (extern_valid space) tab [];
     1.5    in
     1.6      maps (dest_valid o PureThy.theorems_of) all_thys @
     1.7 -    fold (extern_valid (Facts.space_of local_facts)) (Facts.dest local_facts) []
     1.8 +    fold (extern_valid (Facts.space_of local_facts)) (Facts.dest_table local_facts) []
     1.9    end;
    1.10  
    1.11  fun multi_name a (th, (n,pairs)) =