changeset 22416 | 4af50522be35 |
parent 22342 | 0b990dc39ea2 |
child 24026 | 8a4d5312d378 |
--- 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)