name: real version: 1.55 description: The real numbers author: Joe Leslie-Hurd license: MIT requires: bool requires: function requires: natural requires: pair requires: set show: "Data.Bool" show: "Data.Pair" show: "Function" show: "Number.Natural" show: "Number.Real" show: "Set" def { package: real-def-1.67 } thm { import: def package: real-thm-1.43 } main { import: def import: thm }