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

../
calculus.prf                                       21-May-2001 22:00               16725
calculus.pvs                                       21-May-2001 22:00                2621
calculus_extra.prf                                 04-Jun-2001 22:00               33659
calculus_extra.pvs                                 04-Jun-2001 22:00                1296
chain_rule_ax.prf                                  20-May-2001 22:00                 925
chain_rule_ax.pvs                                  20-May-2001 22:00                1071
continuous_functions_ax.prf                        20-May-2001 22:00                 274
continuous_functions_ax.pvs                        20-May-2001 22:00                3566
deriv_sqrt.prf                                     20-May-2001 22:00                 300
deriv_sqrt.pvs                                     20-May-2001 22:00                 296
deriv_trig.prf                                     20-May-2001 22:00                 309
deriv_trig.pvs                                     20-May-2001 22:00                 419
derivative_def.prf                                 03-Jun-2001 22:00                9233
derivative_def.pvs                                 03-Jun-2001 22:00                 946
derivative_def_ax.prf                              03-Jun-2001 22:00                 170
derivative_def_ax.pvs                              03-Jun-2001 22:00                 917
derivative_play.prf                                03-Jun-2001 22:00                3335
derivative_play.pvs                                03-Jun-2001 22:00                 274
derivative_props_ax.prf                            21-May-2001 22:00                1549
derivative_props_ax.pvs                            02-Oct-2001 22:00                2252
derivative_real.prf                                03-Jun-2001 22:00                2797
derivative_real.pvs                                03-Jun-2001 22:00                 462
derivatives_ax.prf                                 20-May-2001 22:00                 850
derivatives_ax.pvs                                 21-May-2001 22:00                3062
derivatives_con.prf                                04-Jun-2001 22:00                 297
derivatives_con.pvs                                04-Jun-2001 22:00                1037
extra_con.pvs                                      04-Jun-2001 22:00                1310
integral.prf                                       17-Jun-2001 22:00                 363
integral.pvs                                       25-Jun-2001 22:00                 623
intermediate_value_ax.prf                          20-May-2001 22:00                 300
intermediate_value_ax.pvs                          03-Jun-2001 22:00                 703
newstuff.prf                                       03-Jun-2001 22:00                3039
newstuff.pvs                                       03-Jun-2001 22:00                 977
orph-prfs                                          04-Jun-2001 22:00                1045
orphaned-proofs.prf                                17-Jun-2001 22:00                1444
pvs-strategies                                     20-May-2001 22:00                2553
real_fun_props_ax.pvs                              20-May-2001 22:00                 872
restriction_continuous_ax.pvs                      20-May-2001 22:00                 230
top.pvs                                            03-Jun-2001 22:00                2074