# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 1a110972687923ec754df1c09387059b16f33f61
input_heaps:
0ca5864f4aca6546754eb1e7da0e2085c3f4c937
a0786084c37e397f68aa183c1faa4d9f91f1d814
aa6574f351de18b66cb07de44c8e7de0d624a8ac


