# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 5d4766ab64cbd8291a4867593543ef2e45e26b7b
input_heaps:
069c9ce34574a9d180b675661212e7d3c60137e9
6c6d87ef68588b18c4100f1ded4e7f9d6b048679
0d69ebb9e385bb8ee28e947d45bcafed550a06a8


