let
normalize c =
fold_left
(
fun
res x
->
if
(mem x res)
then
res
else
(x::res) )
[] c