Eqdep_dec.vo: Eqdep_dec.v
Eqdep.vo: Eqdep.v
Classical_Type.vo: Classical_Type.v Classical_Prop.vo Classical_Pred_Type.vo
Classical_Prop.vo: Classical_Prop.v
Classical_Pred_Type.vo: Classical_Pred_Type.v Classical_Prop.vo
Classical_Pred_Set.vo: Classical_Pred_Set.v Classical_Prop.vo
Classical.vo: Classical.v Classical_Prop.vo Classical_Pred_Set.vo
Eqdep_dec.html: Eqdep_dec.v
Eqdep.html: Eqdep.v
Classical_Type.html: Classical_Type.v Classical_Prop.html Classical_Pred_Type.html
Classical_Prop.html: Classical_Prop.v
Classical_Pred_Type.html: Classical_Pred_Type.v Classical_Prop.html
Classical_Pred_Set.html: Classical_Pred_Set.v Classical_Prop.html
Classical.html: Classical.v Classical_Prop.html Classical_Pred_Set.html
