History

for article: Typing rule