# isabelle_session_info

session_name: HOL-ex
sources: b142a00d5f000cd08efbf499e9a30712674eaba1
uuid: c23defb1-7ad8-4e38-94d5-5283a80b143e
input_heaps:
69be247dc43ecdde6ec938bd8fd1f08b57428e94
a98d9216082127df82717ef1b3320db859025f77
56a147a0185cce5160f925d498ac13dd2eacb7d3
f2b3285bbe8a09409ef2432440244fedfed04405
5a390aa64dd61785ec3ce7282d77013e0ee96102


