#!/bin/tcsh -f
cat herbrandSEKI/welcome.html shallow/welcome.html herbrand/welcome.html epsi/welcome.html kuhn/welcome.html fermatsproof/welcome.html swp200601/welcome.html samoadiss/welcome.html jancl/welcome.html pds/welcome.html mandat/welcome.html nonpermut/welcome.html evencloserlineararithmetic/welcome.html sr200401/welcome.html zombie/welcome.html reinerthabil/welcome.html reinertdiss/welcome.html d/welcome.html quodlibet/welcome.html omega/welcome.html kuehlerdiss/welcome.html ftp98/welcome.html gr719/welcome.html tab99/welcome.html diss/welcome.html rta97/welcome.html rta96/welcome.html sr9509/welcome.html ctrs94/welcome.html swp9404/welcome.html swp9405/welcome.html cade94/welcome.html jsc94/welcome.html >! allofem/welcome.html