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

../
atan.prf                                           03-Apr-2001 22:00                 214
atan.pvs                                           03-Apr-2001 22:00                1579
factorial.prf                                      03-Apr-2001 22:00                 454
factorial.pvs                                      03-Apr-2001 22:00                 160
law_cosines.prf                                    03-Apr-2001 22:00                7320
law_cosines.pvs                                    03-Apr-2001 22:00                1879
orphaned-proofs.prf                                26-Jun-2001 22:00                6949
play.prf                                           26-Jun-2001 22:00                 325
play.pvs                                           26-Jun-2001 22:00                 218
prelude_aux.prf                                    26-Jun-2001 22:00                6075
prelude_aux.pvs                                    26-Jun-2001 22:00                 485
top.pvs                                            26-Jun-2001 22:00                4861
trig-scaffold.pvs                                  11-Apr-2001 22:00                 618
trig.dmp                                           26-Jun-2001 22:00              215328
trig.pvs                                           03-Apr-2001 22:00                 495
trig_approx.prf                                    11-Apr-2001 22:00               24819
trig_approx.pvs                                    29-Jul-2001 22:00                3223
trig_basic.prf                                     25-Jun-2001 22:00               37173
trig_basic.pvs                                     25-Jun-2001 22:00                5435
trig_degree.prf                                    03-Apr-2001 22:00                9226
trig_degree.pvs                                    03-Apr-2001 22:00                 971
trig_extra.prf                                     26-Jun-2001 22:00               35231
trig_extra.pvs                                     26-Jun-2001 22:00                5123
trig_full.pvs                                      03-Apr-2001 22:00                 573
trig_ineq.prf                                      16-May-2001 22:00               24842
trig_ineq.pvs                                      16-May-2001 22:00                3795
trig_inverses.prf                                  03-Apr-2001 22:00                5410
trig_inverses.pvs                                  03-Apr-2001 22:00                1646
trig_rew.prf                                       26-Jun-2001 22:00                1701
trig_rew.pvs                                       26-Jun-2001 22:00                1440
trig_scaffold.prf                                  11-Apr-2001 22:00               16799
trig_scaffold.pvs                                  11-Apr-2001 22:00                 443
trig_values.prf                                    03-Apr-2001 22:00               10914
trig_values.pvs                                    03-Apr-2001 22:00                2514