Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-10-29 20:40:42 -0700 (Sat, 29 Oct 2005)
Revision: 8051
Log message:

      Added the OMakefile needed for building the itt/extensions/rfun theory.
      

Changes  Path
+0 -1 metaprl/theories/itt/OMakefile
+8 -0 metaprl/theories/itt/extensions/OMakefile
Properties metaprl/theories/itt/extensions/rfun
Added metaprl/theories/itt/extensions/rfun/OMakefile
Properties metaprl/theories/itt/extensions/rfun/OMakefile
+2 -1 metaprl/theories/itt/extensions/rfun/itt_dfun_imp.mli
+1 -3 metaprl/theories/itt/extensions/rfun/itt_dprod_imp.ml
+1 -3 metaprl/theories/itt/extensions/rfun/itt_dprod_imp.mli
+1 -1 metaprl/theories/itt/extensions/rfun/itt_well_founded_equiv.ml
+1 -1 metaprl/theories/itt/extensions/rfun/itt_well_founded_equiv.mli
+1957 -3949 metaprl/theories/itt/extensions/rfun/itt_well_founded_equiv.prla