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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]top.pvs2001-10-03 00:00 1.8K 
[   ]real_fun_props.pvs2001-10-03 00:00 3.2K 
[   ]real_fun_props.prf2001-10-03 00:00 1.5K 
[   ]real_fun_ops.pvs2001-10-03 00:00 1.4K 
[   ]real_fun_ops.prf2001-10-03 00:00 565  
[   ]real_facts.pvs2001-10-03 00:00 1.4K 
[   ]real_facts.prf2001-10-03 00:00 2.5K 
[   ]sigma.pvs2001-09-13 00:00 6.1K 
[   ]sigma.prf2001-09-13 00:00 46K 
[   ]orphaned-proofs.prf2001-09-13 00:00 18K 
[   ]top_sqrt.pvs2001-07-31 00:00 669  
[   ]sqrt_approx.pvs2001-07-31 00:00 1.6K 
[   ]sqrt_approx.prf2001-07-31 00:00 6.2K 
[   ]sqrt.dmp2001-07-31 00:00 77K 
[   ]sqrt-with-field-cmds.dmp2001-07-31 00:00 77K 
[   ]rule-signatures2001-07-31 00:00 18K 
[TXT]trig_approx and sqrt_approx.txt2001-07-30 00:00 16K 
[   ]sqrt_scaf.pvs2001-07-30 00:00 1.0K 
[   ]sqrt_scaf.prf2001-07-30 00:00 17K 
[   ]sqrt_exists.pvs2001-07-30 00:00 720  
[   ]sqrt_exists.prf2001-07-30 00:00 19K 
[   ]sqrt_def.pvs2001-07-30 00:00 368  
[   ]sqrt_def.prf2001-07-30 00:00 19K 
[   ]sqrt.pvs2001-07-30 00:00 2.1K 
[   ]pvs-strategies2001-07-30 00:00 111  
[   ]extra-tegies2001-07-30 00:00 8.8K 
[   ]exponent_props.pvs2001-07-30 00:00 1.8K 
[   ]exponent_props.prf2001-07-30 00:00 9.0K 
[   ]bolzano.pvs2001-07-30 00:00 1.2K 
[   ]bolzano.prf2001-07-30 00:00 2.5K 
[   ]mono.pvs2001-06-29 00:00 382  
[   ]mono.prf2001-06-29 00:00 1.3K 
[   ]ln_exp.pvs2001-06-29 00:00 1.0K 
[   ]ln_exp.prf2001-06-29 00:00 4.3K 
[   ]sq.pvs2001-06-14 00:00 2.3K 
[   ]sq.prf2001-06-14 00:00 11K 
[   ]sqrt_rew.pvs2001-06-07 00:00 2.4K 
[   ]sqrt_rew.prf2001-06-07 00:00 2.4K 
[   ]sqrt.prf2001-05-17 00:00 12K 
[   ]orph-prfs2001-05-16 00:00 3.1K 
[   ]top_sigma.pvs2001-04-04 00:00 2.0K 
[   ]sqrt_ax.pvs2001-04-04 00:00 2.1K 
[   ]sqrt_ax.prf2001-04-04 00:00 11K 
[   ]sigma_real.pvs2001-04-04 00:00 4.4K 
[   ]sigma_real.prf2001-04-04 00:00 14K 
[   ]sigma_posnat.pvs2001-04-04 00:00 1.1K 
[   ]sigma_posnat.prf2001-04-04 00:00 1.3K 
[   ]sigma_nat.pvs2001-04-04 00:00 1.7K 
[   ]sigma_nat.prf2001-04-04 00:00 2.2K 
[   ]sigma_int.pvs2001-04-04 00:00 837  
[   ]sigma_int.prf2001-04-04 00:00 1.7K 
[   ]real_sets.pvs2001-04-04 00:00 2.1K 
[   ]real_sets.prf2001-04-04 00:00 2.6K 
[   ]product_real.pvs2001-04-04 00:00 2.6K 
[   ]product_real.prf2001-04-04 00:00 9.0K 
[   ]prelude_aux.pvs2001-04-04 00:00 654  
[   ]prelude_aux.prf2001-04-04 00:00 5.1K 
[   ]bounded_reals.pvs2001-04-04 00:00 2.6K 
[   ]bounded_reals.prf2001-04-04 00:00 5.8K 
[   ]bound_defs.pvs2001-04-04 00:00 1.0K 
[   ]abs_lems.pvs2001-04-04 00:00 1.4K 
[   ]abs_lems.prf2001-04-04 00:00 2.5K 

Apache/2 Server at ftp.lip6.fr Port 443