# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 8641687a41a4a9a5d3578900cd21c59584f7be30
input_heaps:
251e84464f07fc24b34045ea856283ea3577dc88
df9db6ac00dfa405c9354e6fef96c332e793f1b3
4fca1e8426a715fe40ffb08ec40eb5b62f167fd7


