# isabelle_session_info

session_name: HOL-ex
sources: 6fcee4b2b15751883bb558e26b1e6d59f6de9de5
uuid: 216101f3-70d7-46d3-86cf-4a248733ec93
input_heaps:
b2c9ee63d5fe16cd978c564d494a9c11f37d0e75
5e62c0cb0100aec33c186f91f5546684a9cc17b0
0e35e761c765ebc4bd583aeca7032f08719dc8fe
579d4ecc1bfac188cedfe68bfba80e28c7bc65c9
94e802af0090fe2fd6c19ecd6b8ae843fc7489bb


