Index of /pub/qed/


../
archive/                                           16-Dec-2002 23:34       -
workshop95/                                        08-Dec-1995 20:28       -
manifesto                                          05-Dec-1995 19:25     55K
manifesto.aug-93                                   08-Aug-1993 02:11     52K
manifesto.mar-93                                   14-Mar-1993 20:43     41K
manifesto.may-94                                   05-Dec-1995 19:25     55K