# isabelle_session_info

session_name: HOL-ex
sources: 37d9400de643f0867cc9798fb580258ea28a958c
input_heaps:
32e67617b84c9c11cb8188110a1a4623e5435f37
4cfe04fff283b1f341f7b2f228821a9a87ea40ea
089e08bd04413689c9c2f25359f75795d5eccbbc
64f6bc3c1d5a58e09f2f19a334c361d58b7aa031
7e6125b3a62a06f77ff44087db0f4c8532da16e2


