# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 903c83d74dba048040086529ee7dcec82277ee10
input_heaps:
a7e1bbd16329c1f97a9de9d6266928053862babd
ea2cfc597a0179042ded7c822c8c5398bd1438e5
7b30cbdce675fd216c45a623db36877d581a1ba1


