![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Contents | 14-Aug-1995 11:56 | 705 | |
| corefree.abstract | 16-Mar-1995 13:26 | 1.2K | |
| corefree.dvi.gz | 16-Mar-1995 13:27 | 46K | |
| corefree.html | 27-Mar-1995 14:14 | 1.5K | |
| covering.abstract | 14-Aug-1995 11:55 | 934 | |
| covering.dvi.gz | 14-Aug-1995 11:55 | 15K | |
| covering.html | 14-Aug-1995 12:03 | 1.1K | |
| draf.abstract | 16-Mar-1995 14:20 | 871 | |
| draf.dvi.gz | 16-Mar-1995 14:20 | 29K | |
| draf.html | 27-Mar-1995 14:27 | 1.1K | |
| field.abstract | 19-Jun-1995 13:00 | 625 | |
| field.dvi.gz | 19-Jun-1995 13:00 | 17K | |
| field.html | 19-Jun-1995 13:00 | 780 | |
| jj.abstract | 16-Mar-1995 14:32 | 1.1K | |
| jj.dvi.gz | 16-Mar-1995 14:29 | 23K | |
| jj.html | 27-Mar-1995 14:35 | 1.4K | |
| komlos/ | 12-Sep-1997 06:47 | - | |
| poly.dvi.gz | 16-Apr-1996 09:32 | 4.4K | |
| poly.html | 16-Apr-1996 09:32 | 722 | |
| psh1.abstract | 16-Mar-1995 14:26 | 376 | |
| psh1.dvi.gz | 16-Mar-1995 14:22 | 11K | |
| psh1.html | 27-Mar-1995 14:28 | 559 | |
| secret.abstract | 11-Apr-1995 09:24 | 1.0K | |
| secret.dvi.gz | 08-Jun-1995 13:29 | 16K | |
| secret.html | 11-Apr-1995 13:40 | 1.2K | |
| split.abstract | 12-Apr-1995 11:48 | 725 | |
| split.dvi.gz | 12-Apr-1995 11:48 | 28K | |
| split.html | 12-Apr-1995 11:48 | 879 | |