This directory contains a number of files with "self-explanatory" names
regarding the Automated Reasoning Day 1999. It also contains an email
list of people working in automated reasoning (people.list) in Feb 1999.

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 auslogic.ps.gz          10-Feb-1999 16:13   45K  
 cfp1.txt                08-Feb-1999 12:56  1.4K  
 cfp2.txt                08-Mar-1999 17:07  2.6K  
 contents.tex            12-Apr-1999 10:23  1.1K  
 coverpage.tex           12-Apr-1999 10:01  396   
 dina4.sty               21-Apr-1999 10:27  1.3K  
 internet.adr            11-Feb-1999 10:09   64   
 maindoor.txt            15-Apr-1999 10:50  947   
 myt12.tex               21-Apr-1999 10:26  902   
 people.list             01-Apr-1999 12:22  1.8K  
 programme.tex           14-Apr-1999 09:07  2.5K  
 programme.txt           15-Apr-1999 10:15  2.1K  
 README                  21-Apr-1999 10:34  215   
 README.txt              21-Apr-1999 10:34  215   
 reminder.txt            16-Mar-1999 09:22  2.7K