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.
No document for Pretty_Int theory.
authorberghofe
Mon, 06 Aug 2007 16:05:25 +0200
changeset 24156 99e4722eceb1
parent 24155 d86867645f4f
child 24157 409cd6eaa7ea
No document for Pretty_Int theory.
src/HOL/Lambda/ROOT.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Lambda/ROOT.ML	Mon Aug 06 11:45:39 2007 +0200
+++ b/src/HOL/Lambda/ROOT.ML	Mon Aug 06 16:05:25 2007 +0200
@@ -7,7 +7,7 @@
 Syntax.ambiguity_level := 100;
 proofs := 2;
 
-no_document use_thy "Accessible_Part";
+no_document use_thys ["Accessible_Part", "Pretty_Int"];
 use_thys ["Eta", "StrongNorm"];
 if HOL_proofs < 2 then
   warning "HOL proof terms required for running theory WeakNorm"
isabelle