Folds.thy
Wed, 09 Feb 2011 03:52:28 +0000 urbanc separated the definition of folds into a separate file
less more (0) tip