# isabelle_session_info

session_name: HOL-ex
sources: 9194657b054668f1cbd8b13c45c47b2ef923ddbb
uuid: 4c2b5b1f-aba4-4419-b13d-05c8aa1e5c78
input_heaps:
ac41a4751495fa458bfd78a9d2fd9a8f8f097f32
eeb417e47f4f5a50d972f3ce18a01992c7556b8e
e4b4c04137d4034ae233dadccbd972e0005cd9db
6f4e257a2f5777bbad4a8adf13f3f1ca9dca4ba4
6efbc39d2bad94f207379e7e1b2dfdebe4b7310b


