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.
Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory - [   ] auslogic.ps.gz 10-Feb-1999 16:13 45K [TXT] cfp1.txt 08-Feb-1999 12:56 1.4K [TXT] cfp2.txt 08-Mar-1999 17:07 2.6K [TXT] contents.tex 12-Apr-1999 10:23 1.1K [TXT] coverpage.tex 12-Apr-1999 10:01 396 [TXT] dina4.sty 21-Apr-1999 10:27 1.3K [   ] internet.adr 11-Feb-1999 10:09 64 [TXT] maindoor.txt 15-Apr-1999 10:50 947 [TXT] myt12.tex 21-Apr-1999 10:26 902 [   ] people.list 01-Apr-1999 12:22 1.8K [TXT] programme.tex 14-Apr-1999 09:07 2.5K [TXT] programme.txt 15-Apr-1999 10:15 2.1K [   ] README 21-Apr-1999 10:34 215 [TXT] README.txt 21-Apr-1999 10:34 215 [TXT] reminder.txt 16-Mar-1999 09:22 2.7K
Apache/2.2.8 (Ubuntu) proxy_html/3.0.0 mod_ssl/2.2.8 OpenSSL/0.9.8g Server at ftp.rsise.anu.edu.au Port 80