# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 930019d20132ec3b67dd98b564f5a54b03c48977
input_heaps:
b0eb6d493ef01916ef2418e3bb11c9efc956fdd3
d257fae31e53329cb529aae390c73d70f2360d07
ac5364b47c28c88101963cefd81e0ea69472877b


