![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| atan.prf | 2001-04-04 00:00 | 214 | |
| atan.pvs | 2001-04-04 00:00 | 1.5K | |
| factorial.prf | 2001-04-04 00:00 | 454 | |
| factorial.pvs | 2001-04-04 00:00 | 160 | |
| law_cosines.prf | 2001-04-04 00:00 | 7.1K | |
| law_cosines.pvs | 2001-04-04 00:00 | 1.8K | |
| orphaned-proofs.prf | 2001-06-27 00:00 | 6.8K | |
| play.prf | 2001-06-27 00:00 | 325 | |
| play.pvs | 2001-06-27 00:00 | 218 | |
| prelude_aux.prf | 2001-06-27 00:00 | 5.9K | |
| prelude_aux.pvs | 2001-06-27 00:00 | 485 | |
| top.pvs | 2001-06-27 00:00 | 4.7K | |
| trig-scaffold.pvs | 2001-04-12 00:00 | 618 | |
| trig.dmp | 2001-06-27 00:00 | 210K | |
| trig.pvs | 2001-04-04 00:00 | 495 | |
| trig_approx.prf | 2001-04-12 00:00 | 24K | |
| trig_approx.pvs | 2001-07-30 00:00 | 3.1K | |
| trig_basic.prf | 2001-06-26 00:00 | 36K | |
| trig_basic.pvs | 2001-06-26 00:00 | 5.3K | |
| trig_degree.prf | 2001-04-04 00:00 | 9.0K | |
| trig_degree.pvs | 2001-04-04 00:00 | 971 | |
| trig_extra.prf | 2001-06-27 00:00 | 34K | |
| trig_extra.pvs | 2001-06-27 00:00 | 5.0K | |
| trig_full.pvs | 2001-04-04 00:00 | 573 | |
| trig_ineq.prf | 2001-05-17 00:00 | 24K | |
| trig_ineq.pvs | 2001-05-17 00:00 | 3.7K | |
| trig_inverses.prf | 2001-04-04 00:00 | 5.3K | |
| trig_inverses.pvs | 2001-04-04 00:00 | 1.6K | |
| trig_rew.prf | 2001-06-27 00:00 | 1.7K | |
| trig_rew.pvs | 2001-06-27 00:00 | 1.4K | |
| trig_scaffold.prf | 2001-04-12 00:00 | 16K | |
| trig_scaffold.pvs | 2001-04-12 00:00 | 443 | |
| trig_values.prf | 2001-04-04 00:00 | 11K | |
| trig_values.pvs | 2001-04-04 00:00 | 2.5K | |