Archive - HOL/2/18/9/2

Acknowledgements for the first and second editions
Actions