# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: e170d96780719900154f1a72219f62110af9c29a
input_heaps:
624fde0117aa7d8b47c7bd3b690a3caaea6cab8c
d85de68322e7b854283d40aa8892b9eca81ccfdc
058e5edd84ee818f9cbda6dc01c8da9a4af5303a


