Among its notable public buildings and institutions are the old government palace in Santo Antonio built upon the foundations of the official residence of Prince Maurice of Nassau, with a pretty garden attached; a theatre facing upon the Praga da Republica, dating from the second empire; the palace of the Provincial Assembly in Boa Vista, built in 1860-66, surmounted by a high dome; the municipal palace, or prefecture, on Rua do Imperador, with the public library (Biblioteca Publica) occupying its third floor and containing about 30,000 volumes; the Gymnasium, a large plain building of two floors standing near the legislative palace; the Pedro II.