. . . "Former school or college of mining" .