![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| fig1a.do | 04-Jun-2004 09:05 | 561 | |
| fig1b.do | 04-Jun-2004 09:05 | 561 | |
| fig1c.do | 04-Jun-2004 09:05 | 567 | |
| fig1d.do | 04-Jun-2004 09:05 | 567 | |
| fig2a.do | 04-Jun-2004 09:05 | 428 | |
| fig2b.do | 04-Jun-2004 09:05 | 427 | |
| fig3a.do | 04-Jun-2004 09:05 | 390 | |
| fig3b.do | 04-Jun-2004 09:05 | 389 | |
| fig4.do | 04-Jun-2004 09:05 | 891 | |
| figures.do | 04-Jun-2004 09:05 | 107 | |
| lean1.scheme | 04-Jun-2004 09:01 | 220 | |
| lean2.scheme | 04-Jun-2004 09:01 | 4.3K | |
| scheme_lean.hlp | 11-Jun-2004 17:00 | 1.8K | |
| scheme_lean1.hlp | 11-Jun-2004 17:00 | 2.1K | |
| scheme_lean2.hlp | 11-Jun-2004 17:00 | 1.7K | |