# isabelle_session_info

session_name: HOL-ex
sources: d651291a2bbfba0dcb79fe3c2144f99d8882351b
uuid: 45cea1d5-f548-400f-be0f-d676d25374a9
input_heaps:
ba4d32bd4787a90c8ed747450db046e743778809
00e4c29c03866e48b64ed0938508578e7f44b357
5306384618dcbe43ee573dd52706f4b9bef9df56
91840e94caa6c1f64b13765fc0b014bfc7529ab5
bf7cffd1d78f3d93d8b1dfeb22d9987d861a952a


