# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 4d2608ec7e120822e6c1235b82418a59c2690372
input_heaps:
4c23dca2c69764faca7d5f4195665a237a606274
a5a70e75908aaa1084fb6ce900cda62e8b243612
e7652426c3dcaaad34a3175f85af3c9260451632


