This repository consists of the proof files for the paper "History-based Specification and Verification of Java Collections in KeY".