Name Last modified Size Description Parent Directory - feb86-AutomaticProof..> 10-Jan-2005 22:49 227K feb86-AutomaticProof..> 10-Jan-2005 22:49 257K feb86-AutomaticProof..> 10-Jan-2005 22:49 239K nov83-AutomaticProof..> 10-Jan-2005 22:49 197K