# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: f80c9b3ebe53bcf662af0827c8a6133c3e65db81
input_heaps:
cf53733eb6be06340924da21f0a2a30c8408f115
95ec6235f51fb20ff01feb967caaf0950124a8bc
6fbefaee91d52ff7511d3d4cf95750b31e81104f


