# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 6654a34a21e080547f3ab395ccd0987a3975ef1b
uuid: 3c205eea-3a63-424b-85bd-a0df72b70056
input_heaps:
57c0f5e026d063dde70715052c371cec902bf3d9
4dad8d5a2ce1d7720f00f928eedc0ec02a1f93e5
db1006ac0ca087f2b418e0cfbdee4b6a155a42e0


