# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: be46ea694cf11bfca33fec6fc5db837a00d6246d
uuid: 200e51cf-b262-42a2-a34e-a1b8dc8ac9dd
input_heaps:
ba4d32bd4787a90c8ed747450db046e743778809
00e4c29c03866e48b64ed0938508578e7f44b357
d120d20e2adc666a549e8beaf371e0aa30d3ddf6


