# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 996fe6d234f0a75867f84dd7d84b9bc9eea7337c
uuid: dad94034-9c75-4383-bea1-5635d336ff66
input_heaps:
4348ecd95d08b83381d65d778dc99414fdfeb2c2
a77f4df9e49ab5de749eea6768f2c7722537ebe4
436e11fb1f44b2a9837108d4ad1eba4c8ea9af07


