Name                    Last modified       Size  Description

 Parent Directory        07-Jul-2004 15:37      -  
 description.html        12-Sep-1994 13:48     2k  
 draft-elp.auind         12-Sep-1994 13:21     4k  
 draft-elp.aut           12-Sep-1994 14:12     8k  
 draft-elp.aux           12-Sep-1994 14:12    20k  
 draft-elp.bbl           12-Sep-1994 11:56    24k  
 draft-elp.blg           12-Sep-1994 11:56     1k  
 draft-elp.dvi           12-Sep-1994 14:12   382k  
 draft-elp.ilg           12-Sep-1994 13:21     1k  
 draft-elp.log           12-Sep-1994 14:12    52k  
 draft-elp.not           12-Sep-1994 14:12     4k  
 draft-elp.notind        12-Sep-1994 13:21     3k  
 draft-elp.ps            12-Sep-1994 14:13   629k  
 draft-elp.sbj           12-Sep-1994 14:12    14k  
 draft-elp.subind        12-Sep-1994 13:21     9k  
 draft-elp.tex           28-Dec-1993 16:39     1k  
 draft-elp.toc           12-Sep-1994 14:12     3k  
 elp-indexes             12-Sep-1994 12:01     1k  
 elp.tex                 12-Sep-1994 14:11   277k  
 intro.lab               24-Mar-1993 03:14     3k  
 logic.sty               12-Sep-1994 11:52    17k  
 odrefs.bib              12-Sep-1994 11:53    50k  
 odsymb.tex              12-Sep-1994 11:53     7k  
 self-citation.bib       12-Sep-1994 14:20     1k