Changes by: Adam Granicz (granicz at cs.caltech.edu)
Date: 2002-08-10 16:28:27 -0700 (Sat, 10 Aug 2002)
Revision: 3787
Log message:

      Rewrite was prepending not appending to the parameter.
      

Changes	Path
+1 -1	metaprl/theories/phobos/phobos_base.ml
+4 -0	metaprl/theories/phobos/phobos_base.mli