Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-03-18 00:10:54 -0800 (Fri, 18 Mar 2005)
Revision: 6971
Log message:

      MetaPRL is compatible with OCaml 3.08.3
      
      P.S. The RPMs of the new OCaml are available at
      http://rpm.nogin.org/ocaml.html
      

Changes  Path
+1 -1 metaprl/mk/defaults
+4 -4 metaprl/theories/itt/itt_logic.ml