# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: b871741151dea16fa90b17a03ee9c57e8fc053fe
input_heaps:
8c69b9efee18f61099e59a5c1105f587a7f8c9a0
35b3c51d1ce4ea0bc62a27bf61e30c51ec73a0a1
6d03ba4f19900d67bf32673ead6239e06d806a61


