History

for article: Blum's speedup theorem