Small updates to "demo" part, and additional check put at the end for matching with repeated variable.

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2470 303c5b2c-9740-0410-b014-fd8f9db7be32
Add a new utility to tools/flag.lisp to produce a certain kind of induction scheme that is sometimes useful for proving e.g. congruences on recursive/mutually-recursive functions

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2471 303c5b2c-9740-0410-b014-fd8f9db7be32
unescape some doublequotes in cert.pl documentation

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2472 303c5b2c-9740-0410-b014-fd8f9db7be32
Fixing a typo

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2473 303c5b2c-9740-0410-b014-fd8f9db7be32
Fixing a couple typos in forward-chaining-reports

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2474 303c5b2c-9740-0410-b014-fd8f9db7be32
Rolling back one of two 'typo fixes' to be consistent with the style of the rest of the ACL2 manual

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2475 303c5b2c-9740-0410-b014-fd8f9db7be32
Documenting the purpose of tsee

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2478 303c5b2c-9740-0410-b014-fd8f9db7be32
Lots of minor changes to the break rewrite documentation

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2479 303c5b2c-9740-0410-b014-fd8f9db7be32
Disambiguating a statement since 'if application' could actually be a technical term' (this is a nitpick)

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2480 303c5b2c-9740-0410-b014-fd8f9db7be32

Made small mods to the system documentation, in particular adding the
following clarifying paragraph to :doc print-control, following a
conversation with David Rager.

  See [set-fmt-hard-right-margin] for how to set the right margin for
  prover output and, more generally, all output from formatted
  printing functions (see [fmt]). Note that set-print-right-margin,
  mentioned below, does not affect such printing.


git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2481 303c5b2c-9740-0410-b014-fd8f9db7be32