The early plays of Robin Hood