Index of /afs/cs/project/ai-repository/ai/areas/reasonng/atp/systems
Name Last modified Size Description
![[DIR]](/icons/back.gif)
Parent Directory -
![[ ]](/icons/unknown.gif)
0.doc 13-Jun-1995 21:30 1.5K
![[TXT]](/icons/text.gif)
0.html 13-Jun-1995 21:30 4.4K
![[DIR]](/icons/folder.gif)
coq/ 13-Jun-1995 21:32 -
dtp/ 13-Jun-1995 21:28 -
elf/ 13-Jun-1995 21:28 -
frapps/ 13-Jun-1995 21:26 -
ft/ 13-Jun-1995 21:28 -
hiper/ 13-Jun-1995 21:30 -
isabelle/ 13-Jun-1995 21:27 -
keim/ 13-Jun-1995 21:29 -
lcf/ 13-Jun-1995 21:30 -
leantap/ 13-Jun-1995 21:30 -
mkrp/ 13-Jun-1995 21:29 -
mvl/ 13-Jun-1995 21:27 -
nqthm/ 13-Jun-1995 21:30 -
nuprl/ 13-Jun-1995 21:31 -
otter/ 13-Jun-1995 21:27 -
plaisted/ 13-Jun-1995 21:28 -
qu_pl/ 13-Jun-1995 21:29 -
rrl/ 13-Jun-1995 21:30 -
setheo/ 13-Jun-1995 21:28 -
thm/ 13-Jun-1995 21:30 -
xpnet/ 13-Jun-1995 21:28 -