# isabelle_session_info

session_name: HOL-ex
sources: 54e8f7e60dbd2e70bb425aff1fbd5d5e91a3852a
input_heaps:
924cb62a75d1c3d60e07b1a488e345253c696750
64c0a35383da60b6bd894ca4c0863bd690715557
9f0f3dad96a3276ae4c9f0cc4b683096215ac7b9
5d54b8506a9c1ae67855884b340fa31baea50df8
d2cf8823276afd12d067de5a1a572c1856b2d51c


