NameDateSize

..25-Jul-20194

Arith.sigH A D25-Jul-2019607

Arith.smlH A D25-Jul-20192.2 KiB

Arith_cons.sigH A D07-Jul-20201.2 KiB

Arith_cons.smlH A D07-Jul-20206.4 KiB

Exists_arith.sigH A D25-Jul-201972

Exists_arith.smlH A D07-Jul-20206.8 KiB

Gen_arith.sigH A D25-Jul-2019165

Gen_arith.smlH A D07-Jul-20208.8 KiB

GenPolyCanon.sigH A D25-Jul-20193.8 KiB

GenPolyCanon.smlH A D25-Jul-20196.3 KiB

GenRelNorm.smlH A D25-Jul-20194.1 KiB

HolmakefileH A D25-Jul-2019595

Instance.sigH A D25-Jul-2019121

Instance.smlH A D25-Jul-20193.6 KiB

Int_extra.sigH A D25-Jul-2019113

Int_extra.smlH A D25-Jul-20192.5 KiB

Norm_arith.sigH A D25-Jul-2019672

Norm_arith.smlH A D07-Jul-202026 KiB

Norm_bool.sigH A D25-Jul-2019257

Norm_bool.smlH A D25-Jul-20195.9 KiB

Norm_ineqs.sigH A D25-Jul-2019285

Norm_ineqs.smlH A D25-Jul-20198.7 KiB

NumRelNorms.sigH A D25-Jul-2019495

NumRelNorms.smlH A D25-Jul-20195.3 KiB

numSimps.sigH A D25-Jul-20193 KiB

numSimps.smlH A D09-Nov-202025.1 KiB

Prenex.sigH A D25-Jul-201997

Prenex.smlH A D25-Jul-20194.8 KiB

Rationals.sigH A D25-Jul-2019597

Rationals.smlH A D25-Jul-20197.4 KiB

RJBConv.sigH A D25-Jul-2019486

RJBConv.smlH A D25-Jul-20192.7 KiB

selftest.smlH A D06-Aug-20209 KiB

Sol_ranges.sigH A D25-Jul-2019128

Sol_ranges.smlH A D25-Jul-20198.6 KiB

Solve.sigH A D25-Jul-2019340

Solve.smlH A D25-Jul-20199.9 KiB

Solve_ineqs.sigH A D25-Jul-2019549

Solve_ineqs.smlH A D25-Jul-201919.4 KiB

Sub_and_cond.sigH A D25-Jul-2019113

Sub_and_cond.smlH A D25-Jul-201910.5 KiB

Sup_Inf.sigH A D25-Jul-2019679

Sup_Inf.smlH A D25-Jul-201917.4 KiB

Term_coeffs.sigH A D25-Jul-20191,008

Term_coeffs.smlH A D25-Jul-201913.5 KiB

Theorems.sigH A D25-Jul-2019606

Theorems.smlH A D25-Jul-20197.7 KiB

Thm_convs.sigH A D25-Jul-20191.7 KiB

Thm_convs.smlH A D25-Jul-20197.7 KiB