![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/dvi.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| description.html | 12-Sep-1994 13:57 | 1.6K | |
| draft-intro.auind | 12-Sep-1994 14:13 | 3.5K | |
| draft-intro.aut | 01-Nov-1996 14:08 | 6.2K | |
| draft-intro.aux | 01-Nov-1996 14:08 | 11K | |
| draft-intro.bbl | 12-Sep-1994 14:05 | 18K | |
| draft-intro.blg | 12-Sep-1994 14:05 | 290 | |
| draft-intro.dvi | 01-Nov-1996 14:08 | 288K | |
| draft-intro.ilg | 12-Sep-1994 14:13 | 334 | |
| draft-intro.log | 01-Nov-1996 14:08 | 35K | |
| draft-intro.not | 01-Nov-1996 14:08 | 7.6K | |
| draft-intro.notind | 12-Sep-1994 14:13 | 5.1K | |
| draft-intro.ps | 01-Nov-1996 14:08 | 477K | |
| draft-intro.sbj | 01-Nov-1996 14:08 | 19K | |
| draft-intro.subind | 12-Sep-1994 14:13 | 8.9K | |
| draft-intro.tex | 02-Jan-1994 22:00 | 265 | |
| draft-intro.toc | 01-Nov-1996 14:08 | 1.7K | |
| elp.lab | 02-Jan-1994 22:00 | 5.8K | |
| intro-indexes | 12-Sep-1994 14:00 | 143 | |
| intro.tex | 01-Nov-1996 14:06 | 207K | |
| logic.sty | 12-Sep-1994 14:00 | 17K | |
| odrefs.bib | 12-Sep-1994 14:00 | 50K | |
| odsymb.tex | 12-Sep-1994 14:00 | 7.0K | |
| self-citation.bib | 12-Sep-1994 14:19 | 371 | |