src/HOL/Tools/res_hol_clause.ML
changeset 20125 20229342ca76
parent 20022 b07a138b4e7d
child 20130 5303e5928285
     1.1 --- a/src/HOL/Tools/res_hol_clause.ML	Thu Jul 13 13:42:05 2006 +0200
     1.2 +++ b/src/HOL/Tools/res_hol_clause.ML	Thu Jul 13 17:39:56 2006 +0200
     1.3 @@ -437,7 +437,7 @@
     1.4      end;
     1.5  
     1.6  
     1.7 -fun make_conjecture_clause n thm = make_clause(n,"Conjecture",Conjecture,thm);
     1.8 +fun make_conjecture_clause n thm = make_clause(n,"conjecture",Conjecture,thm);
     1.9   
    1.10  
    1.11  fun make_conjecture_clauses_aux _ [] = []