# isabelle_session_info

session_name: HOL-ex
sources: 63f728211d7cf7ba5f923fa45f27b8cb67e5f30b
input_heaps:
bd696809c70613acb70cb901c2e1e6285632648f
609f44c41d03923b1784e4fe74802b6652832cec
aaf2b77caca06c8e71812a7906e7b0e006caf2ca
2618a0bf47550cedf4ad7781463ffc590beb8b9a
dfe117bf5de76f88a91a2857f8f0523dfd03224b


