# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 94f40dfab7b8a6e3500723e953beffb3ddb5816d
uuid: 74176351-f1b7-4308-9d96-82d00264a24d
input_heaps:
89c875fbbb5d9d0e7d7830b39525c64c1be448af
34b353047794b0c2d571f202ffd31b8d97313401
b6d4fc7f8f4f60ae6dd01657b5ccc29358bc2da2


