src/Pure/global_theory.ML
changeset 55740 11dd48f84441
parent 52788 da1fdbfebd39
child 56003 eccac152ffb4
     1.1 --- a/src/Pure/global_theory.ML	Tue Feb 25 10:50:12 2014 +0100
     1.2 +++ b/src/Pure/global_theory.ML	Tue Feb 25 11:36:04 2014 +0100
     1.3 @@ -86,7 +86,7 @@
     1.4    end;
     1.5  
     1.6  fun get_thms thy = get_fact (Context.Theory thy) thy o Facts.named;
     1.7 -fun get_thm thy name = Facts.the_single name (get_thms thy name);
     1.8 +fun get_thm thy name = Facts.the_single (name, Position.none) (get_thms thy name);
     1.9  
    1.10  fun all_thms_of thy =
    1.11    Facts.fold_static (fn (_, ths) => append (map (`(Thm.get_name_hint)) ths)) (facts_of thy) [];