fun odd n = (n mod 2) = 1;

fun f 1 = [1]
   |f n = if odd n
          then n::(f (3*n + 1))
          else n::(f (n div 2));