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.
document find_theorems syntax change
authorkleing
Tue, 06 Mar 2007 05:32:14 +0100
changeset 22416 4af50522be35
parent 22415 c310ca7cd47f
child 22417 014e7696ac6b
document find_theorems syntax change
doc-src/IsarRef/pure.tex file | annotate | diff | comparison | revisions 
--- a/doc-src/IsarRef/pure.tex	Tue Mar 06 05:31:23 2007 +0100
+++ b/doc-src/IsarRef/pure.tex	Tue Mar 06 05:32:14 2007 +0100
@@ -1528,7 +1528,7 @@
   'print\_theory' ( '!'?)
   ;
 
-  'find\_theorems' (('(' nat ')')?) ('with\_dups')? (criterion *)
+  'find\_theorems' (('(' (nat)? ('with\_dups')? ')')?) (criterion *)
   ;
   criterion: ('-'?) ('name' ':' nameref | 'intro' | 'elim' | 'dest' |
     'simp' ':' term | term)
isabelle