Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu) Date: 2004-01-17 21:11:08 -0800 (Sat, 17 Jan 2004) Revision: 5259 Log message:
natBackInduction - proved.