Archive - HOL/2/18/1/8

Acknowledgements and permissions for third edition
Actions