# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: bfd0abe6e2135907eeedd4cf6c1d6eeb5a25b162
uuid: 414c2fb2-2694-4f3b-bd82-980a00ee3c7f
input_heaps:
d71e8b83f911dc6711df0d8e4f64597e847d6e09
23b6e28f27b54d8366ddb98ad7cf08dec46a808a
ed76c6460ef1eaf438e10e8c7c0d2e17d2eca0ab


