A dictionary of old English plays, existing either in print or in manuscript, from the earliest times to the close of the seventeenth century