Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-05-12 00:21:54 -0700 (Thu, 12 May 2005)
Revision: 7263
Log message:

      Added  <=>  input shortcut for "iff".
      

Changes	Path
+8 -0	metaprl/doc/htmlman/user-guide/mp-terms.html
+3 -1	metaprl/filter/filter/term_grammar.ml
+7 -7	metaprl/theories/itt/itt_logic.ml