# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 92838437c67f52d506239fed63ae9efc34c49439
input_heaps:
ac9d0f03b401bcb9118f647e2b13c9614a77477f
ec03fea6e4cca0df6230df865e1726404604ac8c
a0538fec1fd48baf4ebac7e4e4a5a7274a81da77


