Changes by: Adam Granicz (granicz at cs.caltech.edu)
Date: 2002-05-08 15:45:05 -0700 (Wed, 08 May 2002)
Revision: 3610
Log message:

      Just testing my write access... Sorry.
      

Changes	Path
+0 -7	metaprl-branches/ocaml_3_04/theories/mc/mp_mc_fir_phobos.mli