# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: da000ec32ab7cb29ad96246a0f5aa2c78fef6ad2
input_heaps:
3ccbed440c9bd7d46a54c67425d7713af8496493
5f9161c41302528b2c07b1beabf562853d8bc07e
302f3cb0e3cca9cb41cd93d53d9084c707eaa066


