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.
non-critical use_thy;
authorwenzelm
Tue, 28 Jul 2009 16:28:49 +0200
changeset 32254 8b02619c3039
parent 32253 d9def420c84e
child 32255 d302f1c9e356
non-critical use_thy;
src/HOL/ex/ROOT.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/ex/ROOT.ML	Tue Jul 28 15:10:15 2009 +0200
+++ b/src/HOL/ex/ROOT.ML	Tue Jul 28 16:28:49 2009 +0200
@@ -68,7 +68,7 @@
   "Landau"
 ];
 
-setmp Proofterm.proofs 2 use_thy "Hilbert_Classical";
+setmp_noncritical proofs 2 use_thy "Hilbert_Classical";
 
 
 use_thy "SVC_Oracle";
isabelle