name: relation-natural version: 1.35 description: Relations over natural numbers author: Joe Leslie-Hurd license: MIT requires: bool requires: function requires: natural requires: relation-def requires: relation-thm requires: relation-well-founded requires: set show: "Data.Bool" show: "Function" show: "Number.Natural" show: "Relation" def { package: relation-natural-def-1.26 checksum: bb6564664b7136f9979da87aed52df68a786e00f } thm { import: def package: relation-natural-thm-1.40 checksum: 9ec18d440b71e47d64a23b4f6ee51d6b66e0f23a } main { import: def import: thm }