Index of /ftp.parc.xerox.com/pub/ccp/tcc/nato/

../
atm.tex                                            07-Nov-2023 20:58    3906
conclusions.tex                                    07-Nov-2023 20:58    7941
def_combinators.tex                                07-Nov-2023 20:58    3165
fib.tex                                            07-Nov-2023 20:58    1918
g-implementation.tex                               07-Nov-2023 20:58     10K
g-progg.tex                                        07-Nov-2023 20:58    1241
general.tex                                        07-Nov-2023 20:58     18K
intro.tex                                          07-Nov-2023 20:58    8652
meta-interp.tex                                    07-Nov-2023 20:58     897
minimization.tex                                   07-Nov-2023 20:58    4796
mouse.tex                                          07-Nov-2023 20:58    2304
paper.aux                                          07-Nov-2023 20:58    1570
paper.bbl                                          07-Nov-2023 20:58    7694
paper.blg                                          07-Nov-2023 20:58     495
paper.dvi                                          07-Nov-2023 20:58    159K
paper.log                                          07-Nov-2023 20:58    7422
paper.ps                                           07-Nov-2023 20:58    396K
paper.tex                                          07-Nov-2023 20:58     924
persistent-assignments.tex                         07-Nov-2023 20:58    1477
pic1.ps                                            07-Nov-2023 20:58    9306
pic2.ps                                            07-Nov-2023 20:58     13K
rollers.tex                                        07-Nov-2023 20:58    5143
sieve.tex                                          07-Nov-2023 20:58    1058
synchro.tex                                        07-Nov-2023 20:58     14K
tcc-macros.tex                                     07-Nov-2023 20:58    3398
tcc.tex                                            07-Nov-2023 20:58     25K
tgentzen.tex                                       07-Nov-2023 20:58    9080
vijay-macros.tex                                   07-Nov-2023 20:58     37K