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