# HG changeset patch
# User kleing
# Date 1171929198 -3600
# Node ID 0b990dc39ea2fa290041ee3e0395babed9477452
# Parent  306488144b4ada7fbfb87c835704524f0debfc8f
added missing \

diff -r 306488144b4a -r 0b990dc39ea2 doc-src/IsarRef/pure.tex
--- a/doc-src/IsarRef/pure.tex	Tue Feb 20 00:23:58 2007 +0100
+++ b/doc-src/IsarRef/pure.tex	Tue Feb 20 00:53:18 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)