[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

How to rewrite all instances at once

I seem to be struggling with the syntax of prover commands again.  I'd
often like to rewrite all instances of a function in both the
antecedent and consequent, however I can only get rewrite to do one at
a time.  I'm pretty sure you can do this.  What's the command syntax
to do this?  Thanks,


/* Tad Taylor                  |      919-248-6374           */
/* Data General Corporation    |      taylort@dg-rtp.dg.com  */
/* 62 T.W. Alexander Dr.       |                             */
/* RTP, NC 27709               |      FAX: 919-248-6108      */
                >> SDA - Standard Disclaimers Apply <<