MultCases.vo: MultCases.v ../BOOL/Bool.vo ../ARITH/Peano_dec.vo ../INIT/Prelude.vo ../INIT/Logic_TypeSyntax.vo ../INIT/Logic_Type.vo
Inference.vo: Inference.v ../LISTS/PolyList.vo
MultCases.html: MultCases.v ../BOOL/Bool.html ../ARITH/Peano_dec.html ../INIT/Prelude.html ../INIT/Logic_TypeSyntax.html ../INIT/Logic_Type.html
Inference.html: Inference.v ../LISTS/PolyList.html
