# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 5e48712c4f2469e72ddcfd2a5f10e271f9f9b152
input_heaps:
695ca0c98695eb47932bf8888d4687b4ae9fbc07
b720e9ced5bfe31a4d11068fed553167efdd58b1
0df8d06c6dfc70e480da9c7d41d96c20278cbd24


