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.
hide rather short auxiliary names, which can easily occur in user theories;
authorwenzelm
Mon, 27 Jun 2011 17:20:24 +0200
changeset 43562 2c55eac2e5a9
parent 43561 2bb6fd55e195
child 43563 aeabb735883a
hide rather short auxiliary names, which can easily occur in user theories;
src/HOL/Quickcheck_Narrowing.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Quickcheck_Narrowing.thy	Mon Jun 27 17:06:06 2011 +0200
+++ b/src/HOL/Quickcheck_Narrowing.thy	Mon Jun 27 17:20:24 2011 +0200
@@ -435,6 +435,7 @@
 hide_type code_int narrowing_type narrowing_term cons property
 hide_const int_of of_int nth error toEnum marker empty
   C cons conv nonEmpty "apply" sum ensure_testable all exists 
+hide_const (open) Var Ctr
 hide_fact empty_def cons_def conv.simps nonEmpty.simps apply_def sum_def ensure_testable_def all_def exists_def
isabelle