Index of /~softadm/pub/qed/workshop95

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 agenda.txt              1995-12-01 00:00  2.4K  
 attendees.txt           1995-12-01 00:00  2.6K  
 by-person/              2010-04-06 07:57    -   
 intrpeople.txt          1995-12-01 00:00   21K  
 qed95rep.ps             1995-12-05 00:00  295K  
 qed95rep.ps.gz          1995-12-05 00:00  112K  
 qed95rep.tex            1995-12-05 00:00  106K  
 qed95rep.tex.gz         1995-12-05 00:00   37K