# isabelle_session_info

session_name: HOL-ex
sources: 2697f1fba9f04fe3bd1d84f77e644342cb7ee458
input_heaps:
0d46e8014914da4e1c47dfabe60e74a66f8c0804
3c595614c5a7dd95ed6bb1c41dbdcbae6cc56fd2
5b91efea01484ea6c028831d5a7791381a052341
85929f9c8e2fae459c936d0299b375445fc6a129
8bd8b2e00f597d2e9b87b2798a47573b664a6e47


