![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| RL | 2003-07-16 10:25 | 71 | |
| display | 2003-07-16 10:25 | 101 | |
| factored_e3.ps | 2003-07-16 10:25 | 131K | |
| maze.eps | 2003-07-16 10:25 | 3.5K | |
| maze.fig | 2003-07-16 10:25 | 691 | |
| maze.fig.bak | 2003-07-16 10:25 | 310 | |
| metric_E3.lyx | 2003-07-16 10:25 | 16K | |
| metric_E3.ps | 2003-07-16 10:25 | 116K | |
| metric_E3.tex | 2003-07-16 10:25 | 12K | |
| paper/ | 2002-09-19 09:59 | - | |