# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 77f875cbef802713fb0209e7d125e074c4b686b0
input_heaps:
c0e61e77fb8690f5534806812bdf6e8b6e8358cf
3f40f337f05cd9b43550abd225457398f45a1c03
b27acc56066af5a035c9e60947b0f2cce2f72727


