![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Makefile | 2000-06-07 00:00 | 934 | |
| auto.gz | 2000-06-07 00:00 | 44K | |
| auto.ml | 2000-06-07 00:00 | 471 | |
| manual.gz | 2000-06-07 00:00 | 64K | |
| misc.ls | 2000-06-07 00:00 | 170 | |
| pendule_data.mli | 2000-06-07 00:00 | 158 | |
| pendulum.ls.gz | 2000-06-07 00:00 | 725 | |
| pendulum_data.ml | 2000-06-07 00:00 | 744 | |
| pendulum_data.mli | 2000-06-07 00:00 | 163 | |