Changes by: Carl Witty (cwitty at newtonlabs.com)
Date: 1999-06-05 02:22:02 -0700 (Sat, 05 Jun 1999)
Revision: 2688
Log message:

      Fixed minor inaccuracies in doc/it_quickref.txt.
      
      Bugfix in max_level_exp (both ds and std).
      
      Fixed precedence of "fun" constructor:
         (a -> b) -> c
      was displaying as
         a -> b -> c
      

Changes	Path
+5 -4	metaprl/doc/itt_quickref.txt
+1 -1	metaprl/refiner/term_ds/term_man_ds.ml
+1 -1	metaprl/refiner/term_gen/term_man_gen.ml
+1 -1	metaprl/theories/itt/itt_rfun.ml