Classes related to loading and saving proof files.