Index of /pub/scheme-repository/instruct/wand/papers

 Name                    Last modified       Size  Description

 Parent Directory        14-Apr-1994 15:13      -  
 README                  18-Nov-1993 21:57     2k  
 caap93.dvi              18-Nov-1993 21:57    63k  
 caap93.shar             18-Nov-1993 21:57    88k  
 lfp92.dvi               18-Nov-1993 21:57    79k  
 lics90.shar             18-Nov-1993 21:57    75k  
 mitre.shar              18-Nov-1993 21:57   126k  
 partial-types.shar      18-Nov-1993 21:57    38k  
 popl-93.dvi             18-Nov-1993 21:58    54k  
 popl-94.dvi             18-Nov-1993 21:58    75k  
 proc-reps.shar          18-Nov-1993 21:58    42k  
 using-isabelle.shar     18-Nov-1993 21:58    83k