# isabelle_session_info

session_name: HOL-Analysis-ex
sources:
2fa6e8c47879bc442610be7cd632c356ba2783b0
4d7cd11fe8ce0db0a7e76d85efe809ec521e811e
90f5b18b0285a34e484474d14119148ac2eb4a01

input_heaps:
1d303aa48c02fbfb8fe205c90ee243804756e6a6
3e7d2e5aa099435bba6e4e30f924c9df17b4a54b
28478f74cb724b729040a56b2c478ca366bf9879


