Indian Epigraphical Glossary c11.23

,, 88— Add—*deva-hala*, same as *deva-bhoga-hala*; cf. *hala-nyāya*, *bhikṣu-hala*. See *Suc. Sat.*, pp. 84, etc.