![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| pvs-strategies | 2001-07-30 00:00 | 111 | |
| sqrt_def.pvs | 2001-07-30 00:00 | 368 | |
| mono.pvs | 2001-06-29 00:00 | 382 | |
| real_fun_ops.prf | 2001-10-03 00:00 | 565 | |
| prelude_aux.pvs | 2001-04-04 00:00 | 654 | |
| top_sqrt.pvs | 2001-07-31 00:00 | 669 | |
| sqrt_exists.pvs | 2001-07-30 00:00 | 720 | |
| sigma_int.pvs | 2001-04-04 00:00 | 837 | |
| bound_defs.pvs | 2001-04-04 00:00 | 1.0K | |
| sqrt_scaf.pvs | 2001-07-30 00:00 | 1.0K | |
| ln_exp.pvs | 2001-06-29 00:00 | 1.0K | |
| sigma_posnat.pvs | 2001-04-04 00:00 | 1.1K | |
| bolzano.pvs | 2001-07-30 00:00 | 1.2K | |
| mono.prf | 2001-06-29 00:00 | 1.3K | |
| sigma_posnat.prf | 2001-04-04 00:00 | 1.3K | |
| real_fun_ops.pvs | 2001-10-03 00:00 | 1.4K | |
| real_facts.pvs | 2001-10-03 00:00 | 1.4K | |
| abs_lems.pvs | 2001-04-04 00:00 | 1.4K | |
| real_fun_props.prf | 2001-10-03 00:00 | 1.5K | |
| sqrt_approx.pvs | 2001-07-31 00:00 | 1.6K | |
| sigma_int.prf | 2001-04-04 00:00 | 1.7K | |
| sigma_nat.pvs | 2001-04-04 00:00 | 1.7K | |
| top.pvs | 2001-10-03 00:00 | 1.8K | |
| exponent_props.pvs | 2001-07-30 00:00 | 1.8K | |
| top_sigma.pvs | 2001-04-04 00:00 | 2.0K | |
| sqrt_ax.pvs | 2001-04-04 00:00 | 2.1K | |
| real_sets.pvs | 2001-04-04 00:00 | 2.1K | |
| sqrt.pvs | 2001-07-30 00:00 | 2.1K | |
| sigma_nat.prf | 2001-04-04 00:00 | 2.2K | |
| sq.pvs | 2001-06-14 00:00 | 2.3K | |
| sqrt_rew.pvs | 2001-06-07 00:00 | 2.4K | |
| sqrt_rew.prf | 2001-06-07 00:00 | 2.4K | |
| abs_lems.prf | 2001-04-04 00:00 | 2.5K | |
| real_facts.prf | 2001-10-03 00:00 | 2.5K | |
| bolzano.prf | 2001-07-30 00:00 | 2.5K | |
| bounded_reals.pvs | 2001-04-04 00:00 | 2.6K | |
| product_real.pvs | 2001-04-04 00:00 | 2.6K | |
| real_sets.prf | 2001-04-04 00:00 | 2.6K | |
| orph-prfs | 2001-05-16 00:00 | 3.1K | |
| real_fun_props.pvs | 2001-10-03 00:00 | 3.2K | |
| ln_exp.prf | 2001-06-29 00:00 | 4.3K | |
| sigma_real.pvs | 2001-04-04 00:00 | 4.4K | |
| prelude_aux.prf | 2001-04-04 00:00 | 5.1K | |
| bounded_reals.prf | 2001-04-04 00:00 | 5.8K | |
| sigma.pvs | 2001-09-13 00:00 | 6.1K | |
| sqrt_approx.prf | 2001-07-31 00:00 | 6.2K | |
| extra-tegies | 2001-07-30 00:00 | 8.8K | |
| product_real.prf | 2001-04-04 00:00 | 9.0K | |
| exponent_props.prf | 2001-07-30 00:00 | 9.0K | |
| sq.prf | 2001-06-14 00:00 | 11K | |
| sqrt_ax.prf | 2001-04-04 00:00 | 11K | |
| sqrt.prf | 2001-05-17 00:00 | 12K | |
| sigma_real.prf | 2001-04-04 00:00 | 14K | |
| trig_approx and sqrt_approx.txt | 2001-07-30 00:00 | 16K | |
| sqrt_scaf.prf | 2001-07-30 00:00 | 17K | |
| orphaned-proofs.prf | 2001-09-13 00:00 | 18K | |
| rule-signatures | 2001-07-31 00:00 | 18K | |
| sqrt_def.prf | 2001-07-30 00:00 | 19K | |
| sqrt_exists.prf | 2001-07-30 00:00 | 19K | |
| sigma.prf | 2001-09-13 00:00 | 46K | |
| sqrt-with-field-cmds.dmp | 2001-07-31 00:00 | 77K | |
| sqrt.dmp | 2001-07-31 00:00 | 77K | |