Proving Reliability of Image Processing Techniques in Digital Forensics Applications

Listing 16

Intermixing two lists.

	Fixpoint alternate (l1 l2: list nat): list nat:=
	match l1, l2 with
	|nil, _ ⇒ l2
	|_, nil ⇒ l1
	|h1:tl1, h2:tl2 ⇒ h1:h2::(alternate tl1 tl2)
	end.