Index of /ftp/pub/pvs/libraries/nasa/reals/


../
abs_lems.prf                                       03-Apr-2001 22:00                2573
abs_lems.pvs                                       03-Apr-2001 22:00                1428
bolzano.prf                                        29-Jul-2001 22:00                2604
bolzano.pvs                                        29-Jul-2001 22:00                1195
bound_defs.pvs                                     03-Apr-2001 22:00                 993
bounded_reals.prf                                  03-Apr-2001 22:00                5978
bounded_reals.pvs                                  03-Apr-2001 22:00                2616
exponent_props.prf                                 29-Jul-2001 22:00                9253
exponent_props.pvs                                 29-Jul-2001 22:00                1815
extra-tegies                                       29-Jul-2001 22:00                8973
ln_exp.prf                                         28-Jun-2001 22:00                4449
ln_exp.pvs                                         28-Jun-2001 22:00                1028
mono.prf                                           28-Jun-2001 22:00                1321
mono.pvs                                           28-Jun-2001 22:00                 382
orph-prfs                                          15-May-2001 22:00                3140
orphaned-proofs.prf                                12-Sep-2001 22:00               18032
prelude_aux.prf                                    03-Apr-2001 22:00                5246
prelude_aux.pvs                                    03-Apr-2001 22:00                 654
product_real.prf                                   03-Apr-2001 22:00                9236
product_real.pvs                                   03-Apr-2001 22:00                2616
pvs-strategies                                     29-Jul-2001 22:00                 111
real_facts.prf                                     02-Oct-2001 22:00                2578
real_facts.pvs                                     02-Oct-2001 22:00                1425
real_fun_ops.prf                                   02-Oct-2001 22:00                 565
real_fun_ops.pvs                                   02-Oct-2001 22:00                1407
real_fun_props.prf                                 02-Oct-2001 22:00                1547
real_fun_props.pvs                                 02-Oct-2001 22:00                3259
real_sets.prf                                      03-Apr-2001 22:00                2692
real_sets.pvs                                      03-Apr-2001 22:00                2140
rule-signatures                                    30-Jul-2001 22:00               18580
sigma.prf                                          12-Sep-2001 22:00               46785
sigma.pvs                                          12-Sep-2001 22:00                6274
sigma_int.prf                                      03-Apr-2001 22:00                1691
sigma_int.pvs                                      03-Apr-2001 22:00                 837
sigma_nat.prf                                      03-Apr-2001 22:00                2275
sigma_nat.pvs                                      03-Apr-2001 22:00                1747
sigma_posnat.prf                                   03-Apr-2001 22:00                1356
sigma_posnat.pvs                                   03-Apr-2001 22:00                1119
sigma_real.prf                                     03-Apr-2001 22:00               14373
sigma_real.pvs                                     03-Apr-2001 22:00                4492
sq.prf                                             13-Jun-2001 22:00               10951
sq.pvs                                             13-Jun-2001 22:00                2324
sqrt-with-field-cmds.dmp                           30-Jul-2001 22:00               78696
sqrt.dmp                                           30-Jul-2001 22:00               78696
sqrt.prf                                           16-May-2001 22:00               11838
sqrt.pvs                                           29-Jul-2001 22:00                2169
sqrt_approx.prf                                    30-Jul-2001 22:00                6370
sqrt_approx.pvs                                    30-Jul-2001 22:00                1676
sqrt_ax.prf                                        03-Apr-2001 22:00               11113
sqrt_ax.pvs                                        03-Apr-2001 22:00                2131
sqrt_def.prf                                       29-Jul-2001 22:00               19565
sqrt_def.pvs                                       29-Jul-2001 22:00                 368
sqrt_exists.prf                                    29-Jul-2001 22:00               19568
sqrt_exists.pvs                                    29-Jul-2001 22:00                 720
sqrt_rew.prf                                       06-Jun-2001 22:00                2495
sqrt_rew.pvs                                       06-Jun-2001 22:00                2448
sqrt_scaf.prf                                      29-Jul-2001 22:00               17803
sqrt_scaf.pvs                                      29-Jul-2001 22:00                1003
top.pvs                                            02-Oct-2001 22:00                1801
top_sigma.pvs                                      03-Apr-2001 22:00                2055
top_sqrt.pvs                                       30-Jul-2001 22:00                 669
trig_approx and sqrt_approx.txt                    29-Jul-2001 22:00               16151