a quarter of troops different from the one which is meant or referred; another military town.