# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 8d2e9fd915409579cc0a50dceae6f018161b04e0
input_heaps:
ad95178f9cc8aa8a55e83db54baad3cdb12343fd
1699cd031ea33bc672c8b13b97dd8c83db33689f
33de4151db3f353a07282d4236c362fe8b6b4c05


