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