# isabelle_session_info

session_name: HOL-IMP
sources: 74dd528b9a7fdfdeddabc3ecd099026d9325ba17
input_heaps:
fcb8d292400906ad61bee94a2a3dd8bb649ba641
902b77ef700ed1de4580dc7878a157715853f7cb
926772a406bf7c0c3f1e5757aad104330ccc638f


