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

      Name                    Last modified       Size  Description

[DIR] 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

Apache/1.3.29 Server at www.cs.indiana.edu Port 80