| #
5b46835c |
|
03-Feb-2019 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Fix src/rational/ratLib.sml for remove-term-eqtype
Also reformat some code for excessive indentation
|
| #
b4b8e85c |
|
18-Aug-2018 |
Andreas Lööw <AndreasLoow@users.noreply.github.com> |
Don't export ERR from HolKernel
|
| #
bb90639d |
|
12-Jan-2018 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Untabify src/rational/ratLib.sml
|
| #
aa35c035 |
|
12-Jan-2018 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Remove some terms-are-an-eqtype based code from ratLib.sml
|
| #
75bc170b |
|
31-Dec-2017 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Implement rational calculation routine RAT_MUL_CONV
With tests.
More operations to follow of course.
|
| #
5122ecca |
|
11-Apr-2012 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
temporalLib was failing to load. ratLib was referring to the defunct ``ALT_ZERO``. Also make permLib load without inventing a type variable.
|
| #
de3b1d58 |
|
28-Nov-2005 |
Jens Brandt <brandt@cs.uni-kl.de> |
support for numeral forms added
|
| #
cda6aefc |
|
21-Nov-2005 |
Jens Brandt <brandt@cs.uni-kl.de> |
Initial version of theory and libraries of rational numbers added.
|