Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2006-01-08 12:51:03 -0800 (Sun, 08 Jan 2006)
Revision: 8427
Log message:

      Updated the forward-chainer to use a more efficient algorithm (bug #562).
      
      Made some progress with reflection, intro_term_TyFun is now proved.
      
      The following rule would be *really* nice, but I don't know if it
      is true or provable.
      
         <H>; append{l1; l2} in list; <J>; l1 in list; l2 in list >- C -->
         <H>; append{l1; l2} in list; <J> >- C