src/HOL/List.ML
changeset 974 68d58134fad6
parent 962 136308504cd9
child 995 95c148a7b9c4
--- 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];