# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: da0daa4ec9d82747c3221b1fd079abe1466b409d
input_heaps:
ead191c1009fcececd2b78f8be974a6d6d02ee13
2109ae05d8f5ff853965c98e95c82e59021ebaa7
889e2973f6e567c9f28c5cd96784f2684bfe3cab


