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.
added missing \
authorkleing
Tue, 20 Feb 2007 00:53:18 +0100
changeset 22342 0b990dc39ea2
parent 22341 306488144b4a
child 22343 8e0f61d05f48
added missing \
doc-src/IsarRef/pure.tex file | annotate | diff | comparison | revisions 
--- 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)
isabelle