src/Pure/facts.ML
changeset 29269 5c25a2012975
parent 28965 1de908189869
child 29581 b3b33e0298eb
     1.1 --- a/src/Pure/facts.ML	Wed Dec 31 00:08:14 2008 +0100
     1.2 +++ b/src/Pure/facts.ML	Wed Dec 31 15:30:10 2008 +0100
     1.3 @@ -1,5 +1,4 @@
     1.4  (*  Title:      Pure/facts.ML
     1.5 -    ID:         $Id$
     1.6      Author:     Makarius
     1.7  
     1.8  Environment of named facts, optionally indexed by proposition.
     1.9 @@ -166,7 +165,7 @@
    1.10  
    1.11  (* indexed props *)
    1.12  
    1.13 -val prop_ord = Term.term_ord o pairself Thm.full_prop_of;
    1.14 +val prop_ord = TermOrd.term_ord o pairself Thm.full_prop_of;
    1.15  
    1.16  fun props (Facts {props, ...}) = sort_distinct prop_ord (Net.content props);
    1.17  fun could_unify (Facts {props, ...}) = Net.unify_term props;