![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| calculus.prf | 2001-05-22 00:00 | 16K | |
| calculus.pvs | 2001-05-22 00:00 | 2.6K | |
| calculus_extra.prf | 2001-06-05 00:00 | 33K | |
| calculus_extra.pvs | 2001-06-05 00:00 | 1.3K | |
| chain_rule_ax.prf | 2001-05-21 00:00 | 925 | |
| chain_rule_ax.pvs | 2001-05-21 00:00 | 1.0K | |
| continuous_functions_ax.prf | 2001-05-21 00:00 | 274 | |
| continuous_functions_ax.pvs | 2001-05-21 00:00 | 3.5K | |
| deriv_sqrt.prf | 2001-05-21 00:00 | 300 | |
| deriv_sqrt.pvs | 2001-05-21 00:00 | 296 | |
| deriv_trig.prf | 2001-05-21 00:00 | 309 | |
| deriv_trig.pvs | 2001-05-21 00:00 | 419 | |
| derivative_def.prf | 2001-06-04 00:00 | 9.0K | |
| derivative_def.pvs | 2001-06-04 00:00 | 946 | |
| derivative_def_ax.prf | 2001-06-04 00:00 | 170 | |
| derivative_def_ax.pvs | 2001-06-04 00:00 | 917 | |
| derivative_play.prf | 2001-06-04 00:00 | 3.3K | |
| derivative_play.pvs | 2001-06-04 00:00 | 274 | |
| derivative_props_ax.prf | 2001-05-22 00:00 | 1.5K | |
| derivative_props_ax.pvs | 2001-10-03 00:00 | 2.2K | |
| derivative_real.prf | 2001-06-04 00:00 | 2.7K | |
| derivative_real.pvs | 2001-06-04 00:00 | 462 | |
| derivatives_ax.prf | 2001-05-21 00:00 | 850 | |
| derivatives_ax.pvs | 2001-05-22 00:00 | 3.0K | |
| derivatives_con.prf | 2001-06-05 00:00 | 297 | |
| derivatives_con.pvs | 2001-06-05 00:00 | 1.0K | |
| extra_con.pvs | 2001-06-05 00:00 | 1.3K | |
| integral.prf | 2001-06-18 00:00 | 363 | |
| integral.pvs | 2001-06-26 00:00 | 623 | |
| intermediate_value_ax.prf | 2001-05-21 00:00 | 300 | |
| intermediate_value_ax.pvs | 2001-06-04 00:00 | 703 | |
| newstuff.prf | 2001-06-04 00:00 | 3.0K | |
| newstuff.pvs | 2001-06-04 00:00 | 1.0K | |
| orph-prfs | 2001-06-05 00:00 | 1.0K | |
| orphaned-proofs.prf | 2001-06-18 00:00 | 1.4K | |
| pvs-strategies | 2001-05-21 00:00 | 2.5K | |
| real_fun_props_ax.pvs | 2001-05-21 00:00 | 872 | |
| restriction_continuous_ax.pvs | 2001-05-21 00:00 | 230 | |
| top.pvs | 2001-06-04 00:00 | 2.0K | |