Name | Date | Size | ||
---|---|---|---|---|
.. | 25-Jul-2019 | 4 | ||
Arith.sig | H A D | 25-Jul-2019 | 607 | |
Arith.sml | H A D | 25-Jul-2019 | 2.2 KiB | |
Arith_cons.sig | H A D | 07-Jul-2020 | 1.2 KiB | |
Arith_cons.sml | H A D | 07-Jul-2020 | 6.4 KiB | |
Exists_arith.sig | H A D | 25-Jul-2019 | 72 | |
Exists_arith.sml | H A D | 07-Jul-2020 | 6.8 KiB | |
Gen_arith.sig | H A D | 25-Jul-2019 | 165 | |
Gen_arith.sml | H A D | 07-Jul-2020 | 8.8 KiB | |
GenPolyCanon.sig | H A D | 25-Jul-2019 | 3.8 KiB | |
GenPolyCanon.sml | H A D | 25-Jul-2019 | 6.3 KiB | |
GenRelNorm.sml | H A D | 25-Jul-2019 | 4.1 KiB | |
Holmakefile | H A D | 25-Jul-2019 | 595 | |
Instance.sig | H A D | 25-Jul-2019 | 121 | |
Instance.sml | H A D | 25-Jul-2019 | 3.6 KiB | |
Int_extra.sig | H A D | 25-Jul-2019 | 113 | |
Int_extra.sml | H A D | 25-Jul-2019 | 2.5 KiB | |
Norm_arith.sig | H A D | 25-Jul-2019 | 672 | |
Norm_arith.sml | H A D | 07-Jul-2020 | 26 KiB | |
Norm_bool.sig | H A D | 25-Jul-2019 | 257 | |
Norm_bool.sml | H A D | 25-Jul-2019 | 5.9 KiB | |
Norm_ineqs.sig | H A D | 25-Jul-2019 | 285 | |
Norm_ineqs.sml | H A D | 25-Jul-2019 | 8.7 KiB | |
NumRelNorms.sig | H A D | 25-Jul-2019 | 495 | |
NumRelNorms.sml | H A D | 25-Jul-2019 | 5.3 KiB | |
numSimps.sig | H A D | 25-Jul-2019 | 3 KiB | |
numSimps.sml | H A D | 09-Nov-2020 | 25.1 KiB | |
Prenex.sig | H A D | 25-Jul-2019 | 97 | |
Prenex.sml | H A D | 25-Jul-2019 | 4.8 KiB | |
Rationals.sig | H A D | 25-Jul-2019 | 597 | |
Rationals.sml | H A D | 25-Jul-2019 | 7.4 KiB | |
RJBConv.sig | H A D | 25-Jul-2019 | 486 | |
RJBConv.sml | H A D | 25-Jul-2019 | 2.7 KiB | |
selftest.sml | H A D | 06-Aug-2020 | 9 KiB | |
Sol_ranges.sig | H A D | 25-Jul-2019 | 128 | |
Sol_ranges.sml | H A D | 25-Jul-2019 | 8.6 KiB | |
Solve.sig | H A D | 25-Jul-2019 | 340 | |
Solve.sml | H A D | 25-Jul-2019 | 9.9 KiB | |
Solve_ineqs.sig | H A D | 25-Jul-2019 | 549 | |
Solve_ineqs.sml | H A D | 25-Jul-2019 | 19.4 KiB | |
Sub_and_cond.sig | H A D | 25-Jul-2019 | 113 | |
Sub_and_cond.sml | H A D | 25-Jul-2019 | 10.5 KiB | |
Sup_Inf.sig | H A D | 25-Jul-2019 | 679 | |
Sup_Inf.sml | H A D | 25-Jul-2019 | 17.4 KiB | |
Term_coeffs.sig | H A D | 25-Jul-2019 | 1,008 | |
Term_coeffs.sml | H A D | 25-Jul-2019 | 13.5 KiB | |
Theorems.sig | H A D | 25-Jul-2019 | 606 | |
Theorems.sml | H A D | 25-Jul-2019 | 7.7 KiB | |
Thm_convs.sig | H A D | 25-Jul-2019 | 1.7 KiB | |
Thm_convs.sml | H A D | 25-Jul-2019 | 7.7 KiB |