# isabelle_session_info

session_name: HOL-ex
sources: d0d2386e6eb137b3f490e5e0681dd9617164bf3d
uuid: 7f6eab30-06e4-402f-8047-0661563158dd
input_heaps:
57c0f5e026d063dde70715052c371cec902bf3d9
4dad8d5a2ce1d7720f00f928eedc0ec02a1f93e5
afdd3bdaf0a6c6750aa59f473cc890c460f5d8da
e74de8a4d3ba30e3fd07b81bd59da0ef755a9a86
2b62a968de2589b99b01aace36c61f539ffa0306


