History

for article: A-normal form