This directory contains software contributed by users of System 3. The ETH assumes no responsibility for this software. Contributed files can be uploaded to the /incoming directory. When uploading, please send a mail to oberon@inf.ethz.ch, listing the file names and where you want them moved to. The files will not be publicly visible until they are moved. The papers have been moved to the ../Papers directory.