# isabelle_session_info

session_name: HOL-ex
sources: 0e31f350c70ac2b330ac14331a42c22d90a71c29
input_heaps:
eddcfa062a672f0dad34c5be0cd823fee08f5bb1
6803283bac8240f6b1c8d22324fa1bb842ee176c
521298a7f472fd1887b13cd77adf687f3f4f5b78
8c7f9d12876d8fb07029c14af7eae2a1deb68405
7f14c6ca9798098c05dfba0f717626c101b4b3f1


