Archive - HOL/2/18/6/8

Acknowledgements and permissions for third edition
Actions