name: list-fold-def version: 1.28 description: Definition of the list fold operations author: Joe Leslie-Hurd license: MIT provenance: HOL Light theory extracted on 2014-11-09 requires: bool requires: function requires: list-def requires: list-reverse show: "Data.Bool" show: "Data.List" show: "Function" main { article: "list-fold-def.art" }