NatAux.vo: NatAux.v
NatAux.vi: NatAux.v
NatAux.html: NatAux.v
