The facts and historical events of the Toledo war of 1835, as connected with the first session of the Court of common pleas of Lucas county, Ohio