# isabelle_session_info

session_name: HOL-ex
sources: 1ae67f143ebc08c6605e25cb929051572d3a6a83
uuid: 6fda908e-2273-4712-912d-18ad13564eb5
input_heaps:
7332888f14d171ca4efac7179f55d54ece2c6bbf
2e67a21ac8031daa43c777a5e17028797e1134d3
a2c5fee50d7c11ca03808a8187a3d8f3dc12a2df
c026f3ff6435b810436630dfee2f72fc50ed9940
0fba502f8e1a92413c494c9d7e348da1ea5c0525


