# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 75da9b400cf8ca151451b1db78413a17f8bd01ba
input_heaps:
92db83aab1d6ceba9962fdc7de00abde8b26320f
a20c3baeed3cffdd830de0846311cdec3c8045b0
4b728ddd2b2ac6561e62040bfbd75a60cf23ce6c


