# isabelle_session_info

session_name: HOL-ex
sources: 897ec411e3889cd65d9669d2912b00b933ca8a34
input_heaps:
38c0e2920549e9749d6e446b2b50cc3ebc6f2bfb
8ddd6744a680850cdb382982b4e7e53d36e0f0fd
c1aab8cc0b1f919474a1a1af5dc6d8bd244c5a16
dd9ff01791748e29903dbc68246aff88f3d8640d
9c94ac6696e7fe5c2d9db0e0d5f52be2285341b0


