# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 794c575b7760199defb163b0a5a2b1ec7ac8edd5
input_heaps:
9bf876d4513454d50696bfc4d514dd18d725d701
e4242c75dedf53a8d00cf2b4d3b412995bef04d2
bc53eb34b4aab429db59f0078f957c6c6d23a93f


