Name                    Last modified       Size  Description

 Parent Directory        07-Jul-2004 15:37      -  
 description.html        12-Sep-1994 13:57     2k  
 draft-intro.auind       12-Sep-1994 14:13     3k  
 draft-intro.aut         01-Nov-1996 14:08     6k  
 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     1k  
 draft-intro.dvi         01-Nov-1996 14:08   288k  
 draft-intro.ilg         12-Sep-1994 14:13     1k  
 draft-intro.log         01-Nov-1996 14:08    35k  
 draft-intro.not         01-Nov-1996 14:08     8k  
 draft-intro.notind      12-Sep-1994 14:13     5k  
 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     9k  
 draft-intro.tex         02-Jan-1994 22:00     1k  
 draft-intro.toc         01-Nov-1996 14:08     2k  
 elp.lab                 02-Jan-1994 22:00     6k  
 intro-indexes           12-Sep-1994 14:00     1k  
 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     7k  
 self-citation.bib       12-Sep-1994 14:19     1k