--- a/src/HOL/List.ML Sun Mar 26 17:04:45 1995 +0200 +++ b/src/HOL/List.ML Mon Mar 27 18:29:23 1995 +0200 @@ -37,6 +37,7 @@ flat_Nil, flat_Cons, list_all_Nil, list_all_Cons, filter_Nil, filter_Cons, + foldl_Nil, foldl_Cons, length_Nil, length_Cons];