# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 791c5913d9795a667c70ee5083656c4cc299fca3
input_heaps:
72c151fc6d7155c0917f3fea895a6bda7ed6705b
0f8162896999212dc09d4754b77ac490ae4b56e9
9a0fa3aa6520e67b3360a28f232e9294ffb59ce0


