Right. Although I would rephrase this:
I am proposing that the systems either:
1) run multiple routing protocol, one for IPv4 and one for IPv6 (basically, different combinations of OSPFv2|IS-IS and OSPFv3|IS-IS, excluding RIPv2 and RIPng), or
2) run a single routing protocol which includes both IPv4 and IPv6 over the infrastructure supporting both (basically, IS-IS)