cohalz · January 26, 2014 09:23
diff --git a/PiOC5.3.1.ml b/PiOC5.3.1.ml
 let rec mem a s =
  match (a,s) with
  | (_,[]) -> false
  | (b,x::xs) -> if b = x then true else mem b xs
	let rec mem a s =
	match (a,s) with
	\| (_,[]) -> false
	\| (b,x::xs) -> if b = x then true else mem b xs