The project files for the article 'Integrating ADTs in KeY and their Application to History-based reasoning.'