# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 8752a22daaa34eff0d7d2f04628020be8c60ec1a
input_heaps:
5d3df3e9a808a2e76c9506db8ef56a1f0ac90c5c
99522e89eae0e0595207e8a2cb989772370d8b37
b268b541d0e6725dc012e27c120a1bbe590726d6


