# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 5e582c19d51d786807bf52f2c77f3132b9f7e39c
uuid: 08948253-c6f5-449b-a56a-7e6ab180c5cd
input_heaps:
95ed4e8ef4a50e6e2c06f89efaf18987551db93c
5ee65b4d98425bd750ed22b8b867605c93d371ef
16d022b4a7d54aa7818df7da3fc6c69965335deb


