# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: f80c9b3ebe53bcf662af0827c8a6133c3e65db81
input_heaps:
dd4458878f01a34a1b5791d5d83a4c7fde98b709
f992b25f144d396e58a39d8cc82c7030f4bb4c7d
7eed3bc65739617abdbff8b23fee6f4036623fec


