# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: b6f634c874d74f4684f3c0c37eae330af48970bb
input_heaps:
6d2b45655ce44081c131f14d4fedd2d1bdfeb50f
e788a9cf233d6b653b58bf56bdf77b51f02134a5
d10aab0a90087f896480fca1403a0dd02cd256be


