src/Pure/facts.ML
changeset 33096 db3c18fd9708
parent 33095 bbd52d2f8696
child 33163 351fc13613f2
     1.1 --- a/src/Pure/facts.ML	Sat Oct 24 19:47:37 2009 +0200
     1.2 +++ b/src/Pure/facts.ML	Sat Oct 24 20:54:08 2009 +0200
     1.3 @@ -126,7 +126,7 @@
     1.4    props: thm Net.net};
     1.5  
     1.6  fun make_facts facts props = Facts {facts = facts, props = props};
     1.7 -val empty = make_facts Name_Space.empty_table Net.empty;
     1.8 +val empty = make_facts (Name_Space.empty_table "fact") Net.empty;
     1.9  
    1.10  
    1.11  (* named facts *)