Folds.thy
changeset 296 2c8dcf010567
parent 203 5d724fe0e096