# isabelle_session_info

session_name: HOL-Analysis-ex
sources:
4d7cd11fe8ce0db0a7e76d85efe809ec521e811e
90f5b18b0285a34e484474d14119148ac2eb4a01
fd8622b3a620b2e7c5e13bef991de6d354f6ab1c

input_heaps:
0dae525efa6f84ecf34af93ff7cba31c2592ec0d
8169f475732fbdf137107131aba0d9b3f4e56903
f8770a37931a23069df1af49c196a864d44af020


