# HG changeset patch
# User nipkow
# Date 796321763 -7200
# Node ID 68d58134fad6d3065977933723a3ae9a43a766cf
# Parent  f57fb576520fe662db3d9bdb686145dd30622eac
Added recursion equations for foldl to list_ss.

diff -r f57fb576520f -r 68d58134fad6 src/HOL/List.ML
--- 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];