Rob Dockins cfe790c13b Implement a new primitive type Rational. ... Rational numbers are implemented as a pair of integers via the usual construction.		2020-05-14 17:48:54 -07:00
..
Cryptol.cry	Implement a new primitive type Rational.	2020-05-14 17:48:54 -07:00
CryptolTC.z3	Remove unused primitive type operator lengthFromThen.	2019-02-27 17:11:18 -08:00