![[Search]](http://www.cl.cam.ac.uk/images/search.gif){kind=small}
![[A-Z Index]](http://www.cl.cam.ac.uk/images/az.gif){kind=small}
![[Contact]](http://www.cl.cam.ac.uk/images/contact.gif){kind=small}
![[University of Cambridge]](http://www.cl.cam.ac.uk/images/identifier2.gif){kind=small}
Anonymous FTP area (deprecated)
This server used to serve files published by Computer Laboratory Researchers in the 1980s and early 1990s. Most of this material has since moved to the departmental web site, where it is linked from the pages of individual research groups and people.
- Plain text file describing access to the archive (ftp, WWW)
- Departmental Technical Reports
- Other papers
- pub misc files
- ATM Docs 1994/3
- ATM Docs 1995/10
- hol – sources for the HOL system
- hvg – info-hol archive material and contributed software for HOL
- ml – Isabelle group archive material
- nltools – Alvey Natural Language Toolkit (license required)
- ESPRIT
- IEEE-TSC-ECCS
- a2x-voice
- acpi
The following appear not to be available as of September 2002:
Comments to webmaster@cl.cam.ac.uk