a market-town of Devonshire, 32 miles south-west of Exeter.