# HG changeset patch
# User kleing
# Date 1173155534 -3600
# Node ID 4af50522be35246a6e431387cec8741aba75def4
# Parent  c310ca7cd47fb76f66f411c28d25eaeef148f8b0
document find_theorems syntax change

diff -r c310ca7cd47f -r 4af50522be35 doc-src/IsarRef/pure.tex
--- 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)