# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: be34b5f004bc993870e63d066a9c48dda8105ca6
uuid: 92f62522-2582-44e8-923e-8c4031e6d792
input_heaps:
16995642ff9d6d081fe3569bf6578b599bfc50b5
e2f00078e9a5e8bef38f416fe533f4c0bd843120
b533b438a766619f46bcfaf260629db0cd5d23b8


