# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: db2b1df15aa252f6696d4b3ce9f17135cd3f4136
input_heaps:
9cd3c53d80170445c84eedf6dd4ed5c742828d4c
1b7644e4ef7c7bda7fb3cf22b79d9258a3aaba9f
efddae608975406d6d519d2e515885246cd20d32


