Bev. til byggearbeider vedk. tinghus i Oslo, Trondheim, Stavanger og Tromsø, kap. 1131—34, bsj.innst. S. nr. 162, S.tid. 941—42.