# HG changeset patch
# User nipkow
# Date 796321804 -7200
# Node ID 80f45ad991cb1775f938f4a66c8f942696b05830
# Parent  f02021cf7cec9e05406a9da0e7d5554613bc358d
Added recursion equations for foldl to list_ss.

diff -r f02021cf7cec -r 80f45ad991cb List.ML
--- a/List.ML	Fri Mar 17 15:48:55 1995 +0100
+++ b/List.ML	Mon Mar 27 18:30:04 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];