History

for article: Robinson–Gabriel synthesis