Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-05-22 21:31:01 -0700 (Thu, 22 May 2003)
Revision: 4622
Log message:

      Added input form 'T Type (for "type"{'T} )
      

Changes	Path
+4 -2	metaprl/doc/htmlman/user-guide/mp-terms.html
+6 -0	metaprl/filter/filter/term_grammar.ml
+12 -12	metaprl/theories/itt/itt_equal.ml