# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 0037a2a9b2ab02b44b55de0ed6c5b93f3e7f6ba1
input_heaps:
4663a55f367f6021a9d04b9b51a51d371f5748d6
643cda05baed70bc32c48479e948603981aaab65
1fa62f4dcb607d4323f75bf9b4d9f42da931d81f


