# isabelle_session_info

session_name: HOL-ex
sources: f2bd4134c5ae95f13616a87e3d4e9fbf7c965ea4
input_heaps:
20906430ec5c0933a7fdffa792e81b426e844298
9a78859f8ec1536e91dabffd5d8d7336fce93827
a4be5b73f229f71dd6a0db24b47a894124362cc0
0b087070290ba36331797226051e0398dc5d51c8
352709edc1bc022682a7659853457b1dea23b89a


