Changes by: Adam Granicz (granicz at cs.caltech.edu)
Date: 2002-05-30 11:56:38 -0700 (Thu, 30 May 2002)
Revision: 3702
Log message:

      Return idC if no iforms are given.
      

Changes  Path
+5 -1 metaprl/theories/mc/mp_mc_fir_phobos.ml