# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: b337af0eef48520d31e1f815e3bd2c91b2eff845
uuid: 47a92137-7c16-43f9-a409-9689f6eb01a1
input_heaps:
993eb6fa3b516fdd7b7b2572ecff8a2946f70eb4
81855fd54aebed115a45643a126470a727632716
1ac4e82c52a9bc721e5415d67a924340af69f360


