![[ICO]](/icons/blank.gif){kind=icon}
![[ ]](/icons/dvi.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| games.dvi | 1999-06-11 18:40 | 94K | |
| games.ps | 1999-06-11 18:40 | 175K | |
| pi-model.abs | 1995-12-01 11:53 | 1.0K | |
| pi-model.dvi | 1997-02-03 17:50 | 88K | |
| pi-model.ps | 1997-02-03 17:50 | 260K | |
| prof.dvi | 1998-04-22 19:15 | 110K | |
| prof.ps | 1998-04-22 19:13 | 193K | |
| ufl.dvi | 1998-10-30 05:08 | 202K | |
| ufl.ps | 1998-10-30 05:06 | 345K | |