History

for article: Pocklington's algorithm