# isabelle_session_info

session_name: HOL-ex
sources: a9c749ade6c5a4ea75181f77fbe3628d723b719e
input_heaps:
640c93dd9b059e57f250a6bde56ed91b11370523
bab23913bc1ced9b6f8f72e060cf9fe98000c983
49620e465436007702fa5fe3fe9112d82a292eb2
35c09773673cdf574411a9288e5ee092818b752b
d453beec4805504fbaa2cd42ce2a0b137c1e4f7a


