# HG changeset patch
# User paulson
# Date 1152805196 -7200
# Node ID 20229342ca760c041a9f3a9597470b92298b0696
# Parent  caf3a129b90d103767b93e51d455a8b2d3abafda
"conjecture" must be lower case

diff -r caf3a129b90d -r 20229342ca76 src/HOL/Tools/res_hol_clause.ML
--- a/src/HOL/Tools/res_hol_clause.ML	Thu Jul 13 13:42:05 2006 +0200
+++ b/src/HOL/Tools/res_hol_clause.ML	Thu Jul 13 17:39:56 2006 +0200
@@ -437,7 +437,7 @@
     end;
 
 
-fun make_conjecture_clause n thm = make_clause(n,"Conjecture",Conjecture,thm);
+fun make_conjecture_clause n thm = make_clause(n,"conjecture",Conjecture,thm);
  
 
 fun make_conjecture_clauses_aux _ [] = []