Folds.thy
2011-02-09 urbanc separated the definition of folds into a separate file
less more (0) tip