Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-07-06 08:35:50 -0700 (Tue, 06 Jul 1999)
Revision: 2790
Log message:

      Changed genAssumT:
      
      generalize all the assumtions that have the "member" goal, not only the first one,
      do the usual assumT thing for non-member goals
      
      After the generalization, prove the "main" subgoal automatically
      

Changes	Path
+13 -19	metaprl/theories/itt/itt_logic.ml