Changes by: Carl Witty (cwitty at newtonlabs.com)
Date: 1999-06-06 19:56:23 -0700 (Sun, 06 Jun 1999)
Revision: 2692
Log message:

      Now that I (think I) understand "squash", I've made my new cumulativity
      rule a bit more general.
      

Changes	Path
+2 -2	metaprl/theories/itt/itt_equal.ml