FTP Archives

Here are some FTP archives that carry files important for deduction. You may have to find the relevant subdirectories yourself.


This page comes to you courtesy of Michael Kohlhase and Carolyn Talcott.

Last updated 20 February 1996.