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

../
exp_def.prf                                        28-Jun-2001 22:00                 513
exp_def.pvs                                        28-Jun-2001 22:00                 281
factorial.prf                                      03-Apr-2001 22:00                 454
factorial.pvs                                      03-Apr-2001 22:00                 160
nth_derivatives.prf                                03-Apr-2001 22:00                2819
nth_derivatives.pvs                                03-Apr-2001 22:00                1358
orph-prfs                                          03-Apr-2001 22:00                 168
orphaned-proofs.prf                                28-Jun-2001 22:00                 168
power_series.prf                                   03-Apr-2001 22:00               73639
power_series.pvs                                   03-Apr-2001 22:00                2842
power_series_deriv.prf                             03-Apr-2001 22:00               38791
power_series_deriv.pvs                             03-Apr-2001 22:00                4658
prelude_aux.prf                                    03-Apr-2001 22:00                2803
prelude_aux.pvs                                    03-Apr-2001 22:00                 682
series.prf                                         03-Apr-2001 22:00               80844
series.pvs                                         28-Jun-2001 22:00                6642
taylors.prf                                        03-Apr-2001 22:00              130893
taylors.pvs                                        03-Apr-2001 22:00                3962
top.pvs                                            03-Apr-2001 22:00                1360
trig_fun.prf                                       03-Apr-2001 22:00               17516
trig_fun.pvs                                       03-Apr-2001 22:00                1328
trig_props.prf                                     03-Apr-2001 22:00               77661
trig_props.pvs                                     03-Apr-2001 22:00                 602