Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-02-03 16:00:47 -0800 (Thu, 03 Feb 2005)
Revision: 6586
Log message:

      Added the Quote typeclass.  Quoted terms have types like the following.
      
         apply[@]{'t1 : Term; 't2 : Term} : Quote
      

Changes	Path
+3 -21	metaprl-branches/opname_classes3/refiner/reflib/term_ty_infer.ml
+6 -0	metaprl-branches/opname_classes3/support/display/perv.mli