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

../
angelic.4050ps                                     07-Nov-2023 20:58    215K
angelic.aux                                        07-Nov-2023 20:58    2943
angelic.bbl                                        07-Nov-2023 20:58    4689
angelic.blg                                        07-Nov-2023 20:58     505
angelic.dvi                                        07-Nov-2023 20:58     73K
angelic.log                                        07-Nov-2023 20:58    2962
angelic.tex                                        07-Nov-2023 20:58     53K