Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
"conjecture" must be lower case
authorpaulson
Thu, 13 Jul 2006 17:39:56 +0200
changeset 20125 20229342ca76
parent 20124 caf3a129b90d
child 20126 282165caaeaf
"conjecture" must be lower case
src/HOL/Tools/res_hol_clause.ML file | annotate | diff | comparison | revisions 
--- 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 _ [] = []
isabelle