RFC 2473 / Generic Packet Tunneling in IPv6 Specification specifies mechanisms to tunnel several different packet types over IPv6 including IPv4.
NOTE: Support for IPv4-in-IPv6 tunnel is available only since kernel version 2.6.22.