Index of /ftp.parc.xerox.com/pub/ccp/janus/

../
herbrand-tar.Z                                     07-Nov-2023 21:58    524K
janus.ps.Z                                         07-Nov-2023 21:58    170K
lucy.ps.Z                                          07-Nov-2023 21:58    131K
progg3.4050ps                                      07-Nov-2023 21:58    378K
progg3.aux                                         07-Nov-2023 21:58    3292
progg3.bbl                                         07-Nov-2023 21:58    3364
progg3.blg                                         07-Nov-2023 21:58     283
progg3.dlog                                        07-Nov-2023 21:58     159
progg3.dvi                                         07-Nov-2023 21:58     82K
progg3.tex                                         07-Nov-2023 21:58     58K