From: Michael Orlitzky <michael@orlitzky.com>
Date: Thu, 14 Feb 2019 20:33:39 +0000 (-0500)
Subject: Add the four types of standard real intervals.
X-Git-Url: http://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=ce11edfc0c1c7b1dcbbbc21512336f91ad006863;hp=ce11edfc0c1c7b1dcbbbc21512336f91ad006863;p=mjotex.git

Add the four types of standard real intervals.
---