# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 99797716dd8dc76759f3c0bd67aba621c398b5b9
input_heaps:
5aebde8d579a4faf3e50e1d4b283942cc112c6e0
5a9b453a33230a4e204d7939f4cab09dbfbbd852
8a7e575bfaf6613f77664c6104c8e0e55745d8d2


