Index of /pub/qed/workshop95/


../
by-person/                                         01-Dec-1995 17:43       -
agenda.txt                                         01-Dec-1995 05:55    2432
attendees.txt                                      01-Dec-1995 05:55    2612
intrpeople.txt                                     01-Dec-1995 05:55     21K
qed95rep.ps                                        05-Dec-1995 16:32    295K
qed95rep.ps.gz                                     05-Dec-1995 16:32    112K
qed95rep.tex                                       05-Dec-1995 16:32    106K
qed95rep.tex.gz                                    05-Dec-1995 16:32     37K