Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1999-05-19 14:08:40 -0700 (Wed, 19 May 1999)
Revision: 2656
Log message:

      The rule for induction on W-types was unsound.  Fix thanks
      to Carl Witty <cwitty@newtonlabs.com>.
      

Changes	Path
+2 -4	metaprl/editor/ml/test.ml
Binary	metaprl/editor/ml/test.prlb
+40 -45	metaprl/mk/make_config.sh
+10 -9	metaprl/theories/itt/itt_w.ml
+8 -7	metaprl/theories/itt/itt_w.mli