flipped fold implementation
authornipkow
Mon Dec 15 10:16:38 2008 +0100 (2008-12-15)
changeset 29110476c46e99ada
parent 29109 389ebed8b98e
child 29111 d2b60c49a713
flipped fold implementation
src/HOL/Library/Executable_Set.thy
     1.1 --- a/src/HOL/Library/Executable_Set.thy	Thu Dec 11 08:59:03 2008 +0100
     1.2 +++ b/src/HOL/Library/Executable_Set.thy	Mon Dec 15 10:16:38 2008 +0100
     1.3 @@ -275,7 +275,6 @@
     1.4    Ball ("{*Blall*}")
     1.5    Bex ("{*Blex*}")
     1.6    filter_set ("{*filter*}")
     1.7 -  fold ("{* foldl *}")
     1.8 -
     1.9 +  fold ("{* foldl o flip *}")
    1.10  
    1.11  end