![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| y.var.xml.gz | 2004-11-09 14:23 | 1.7K | |
| y.var.types.xml.gz | 2004-11-09 14:23 | 196 | |
| x.var.xml.gz | 2004-11-09 14:23 | 523 | |
| x.var.types.xml.gz | 2004-11-09 14:23 | 196 | |
| pos_x.var.xml.gz | 2004-11-09 14:23 | 622 | |
| pos_x.var.types.xml.gz | 2004-11-09 14:23 | 202 | |
| mon_x.var.xml.gz | 2004-11-09 14:23 | 522 | |
| mon_x.var.types.xml.gz | 2004-11-09 14:23 | 202 | |
| alternate_lemma4.var.xml.gz | 2004-11-09 14:25 | 128K | |
| alternate_lemma4.var.types.xml.gz | 2004-11-09 14:25 | 144K | |
| alternate_lemma3.var.xml.gz | 2004-11-09 14:25 | 281K | |
| alternate_lemma3.var.types.xml.gz | 2004-11-09 14:25 | 325K | |
| alternate_lemma2.var.xml.gz | 2004-11-09 14:24 | 127K | |
| alternate_lemma2.var.types.xml.gz | 2004-11-09 14:24 | 149K | |
| alternate_lemma1.var.xml.gz | 2004-11-09 14:24 | 346K | |
| alternate_lemma1.var.types.xml.gz | 2004-11-09 14:24 | 390K | |
| Lim_x.var.xml.gz | 2004-11-09 14:23 | 472 | |
| Lim_x.var.types.xml.gz | 2004-11-09 14:23 | 203 | |
| INDEX | 2005-07-05 08:13 | 378 | |