Archive - HOL/1/2/129/2

Eight Canons, H187(7 and 8)
Actions