# HG changeset patch
# User paulson
# Date 987512621 -7200
# Node ID ca546b170471785917579b7168f433a1b9101153
# Parent  54193a58c2edb3392b0d0908a9a46158020a5443
*** empty log message ***

diff -r 54193a58c2ed -r ca546b170471 doc-src/TutorialI/Rules/rules.tex
--- a/doc-src/TutorialI/Rules/rules.tex	Mon Apr 16 15:34:33 2001 +0200
+++ b/doc-src/TutorialI/Rules/rules.tex	Tue Apr 17 15:03:41 2001 +0200
@@ -50,7 +50,7 @@
 consequences from this symbol. Ideally each rule should mention 
 one symbol only.  For predicate logic this can be 
 done, but when users define their own concepts they typically 
-have to refer to other symbols as well.  It is best not be dogmatic.
+have to refer to other symbols as well.  It is best not to be dogmatic.
 
 Natural deduction generally deserves its name.  It is easy to use.  Each
 proof step consists of identifying the outermost symbol of a formula and