fun append([],[])=
    []
  | append(list1, list2) = 
    case list1 of
	[]=>list2
        |x'::list' => x'::append(list', list2)