Name Last modified Size Description![[ ]](/icons/dvi.gif){kind=icon}
games.dvi 11-Jun-1999 18:40 94K
![[ ]](/icons/ps.gif){kind=icon}
games.ps 11-Jun-1999 18:40 175K
![[ ]](/icons/generic.gif){kind=icon}
pi-model.abs 01-Dec-1995 11:53 1.0K
pi-model.dvi 03-Feb-1997 17:50 88K
pi-model.ps 03-Feb-1997 17:50 260K
prof.dvi 22-Apr-1998 19:15 110K
prof.ps 22-Apr-1998 19:13 193K
ufl.dvi 30-Oct-1998 05:08 202K
ufl.ps 30-Oct-1998 05:06 345K