# isabelle_session_info

session_name: HOL-ex
sources: c5031b04f4fef2383f649aa5e6d4103ec0c3114e
uuid: d4421a33-4509-4f00-af19-d32c4e2964c9
input_heaps:
d110a6572af0be1c73c2824ffea82a089f944503
2dac7cdd11e16d13c849935f67cef8b8fd095f4d
dbbf5715d35bbca7f0c5d9d5ebe805cdf29e79fc
77f92917320bd86fbf82d09474d645e611d34423
eafc050107dbf3233d3d7e9fec0b78e056e6b424


