# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 7dbe0790da399343208c8f885338e48fdede6d48
uuid: 5ef4f02b-1bda-452f-9c55-7c0254bb3fb2
input_heaps:
6d690cd4904afc3b28afb37e78bce5c68e51dbbf
d608db88fa3d6d94fe9a1b191595fe6aa82e61d3
aebd6c76484da54bdd8bc867ee7bf6594438e960


