Changes by: Adam Granicz (granicz at cs.caltech.edu)
Date: 2002-05-28 20:09:00 -0700 (Tue, 28 May 2002)
Revision: 3700
Log message:
Added more functionality to interface with Phobos.
Changes | Path |
+37 -6 | metaprl/theories/mc/mp_mc_compile.ml |
+8 -0 | metaprl/theories/mc/mp_mc_compile.mli |
+14 -3 | metaprl/theories/mc/mp_mc_fir_phobos.ml |
+1 -0 | metaprl/theories/mc/mp_mc_fir_phobos.mli |