Removed fold and map. Base is now deprecated in favour of ../Monad.sw Also have define extensions of the above in Fold.sw and Map.sw. Work in progress.
Removed fold and map. Base is now deprecated in favour of ../Monad.sw
Also have define extensions of the above in Fold.sw and Map.sw.
Work in progress.


git-svn-id: 9ecf60ce9baff443e30a0472d3fd222fcb8117cf@887 7b97033b-253e-4a5c-9b07-e25f9089a9fd

KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware