name: natural-div version: 1.51 description: Natural number division author: Joe Leslie-Hurd license: MIT requires: bool requires: natural-add requires: natural-def requires: natural-mult requires: natural-numeral requires: natural-order requires: natural-thm show: "Data.Bool" show: "Number.Natural" def { package: natural-div-def-1.41 checksum: 1e26516a418173d187d0ab5926c6d346d3dd9188 } thm { import: def package: natural-div-thm-1.54 checksum: d4864a867bbdbbc6e588fe0e83c3684190a90abf } main { import: def import: thm }