Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2000-06-09 15:15:36 -0700 (Fri, 09 Jun 2000)
Revision: 3009
Log message:

      Small Jprover<->MetaPRL interface fix - do not thin out universal
      quantifier on instantiation.
      

Changes	Path
+3 -0	metaprl/BUGS
+5 -3	metaprl/theories/itt/itt_logic.ml