# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 808014fd30767eb0611ccda88d4845a1be478478
input_heaps:
47e3a0c9c4e00d2e90772688cd89601e0e76e6c5
4089360610a005ee2f39c6e19f04260ef80d19a0
ce0d50debc8e17e80826297dfed61b868d3a0937


