# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 33bd1aceaccaa24fb0c8ed1c8b8283573eb0d69e
uuid: 277def7d-1dc0-4fc1-a5bf-fb48710c02ae
input_heaps:
47fe89a0b57a84789780bce1b7c17bef3c40f2cc
7f2d39404b813f8aab00b5b6b90da9cc0b8af993
d9b27fb29ffc4b962b976cd0ceba814b29741743


