# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 11b45c2bdb9ac712604cf49f2886628dc06e0f5e
input_heaps:
d0812df67cfd8dfc9bc229af4d4de6a4003cc0c4
2541b922d46b619e0d5865be28cb87d13b9facb0
de774ae57f4fcc2446960c980288cc35bcc29edb


