# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: f7525b91bf554c5530a6f2bb3169ca5b3c43e317
uuid: b7d49ba3-82de-4375-94d2-f7de67251e07
input_heaps:
cc0a1e6bf0a67bebc76a05283bbaeaf825c84028
0f6b10629e7cb97327ec14b3a1d38cf4256e1f5b
1d436082d007e3db9d819402a9311962d0173f46


