Folds.thy
2011-08-22 urbanc changes according to afp-submission
2011-02-09 urbanc separated the definition of folds into a separate file
less more (0) tip