# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 1729ace3b61f9d477256c731741cb555843a6403
input_heaps:
c8cd0d03d02b56334ebcf7a76009d91abccf01c1
416d79e8a8c5a5d5f5d0347ba78ae6f7d314a26a
c531b8be7172afb3e0a849ae418f6448d1ffed8d


