# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 134b6297fbd0711f3b013e81f51d376c3a74aca5
input_heaps:
faa8b495fa5af96c8c56c0551bb90d9ba32b2c3f
d1d2032238c468abca1ef011649a34b8c92c2bd6
4d79760673ac6ea165e2479d623b35927e12e7ef


