1.1 --- a/src/Tools/isac/library.sml	Tue Sep 14 15:46:56 2010 +0200
     1.2 +++ b/src/Tools/isac/library.sml	Thu Sep 23 08:43:36 2010 +0200
     1.3 @@ -31,6 +31,7 @@
     1.4  fun drop (n, []) = [] (*FIXME.2009*)
     1.5    | drop (n, x :: xs) =
     1.6        if n > 0 then drop (n - 1, xs) else x :: xs;
     1.7 +
     1.8  (*exn LIST has disappeared in 2009 ... replaced by error...*)
     1.9  fun last_elem [] = raise error "last_elem" (*FIXME.2009*)
    1.10    | last_elem [x] = x