![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| elim.v | 2009-04-07 02:54 | 885 | |
| ind.v | 2009-04-07 02:37 | 468 | |
| internals.v | 2009-04-07 12:46 | 414 | |
| poly.v | 2009-04-07 16:11 | 2.0K | |
| reductions.v | 2009-04-07 13:46 | 1.0K | |
| slajdy.pdf | 2009-04-19 22:41 | 137K | |
| univ.v | 2009-04-07 14:19 | 1.4K | |