# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: c5a5b93ea60ad89e5eefbf2c3a42d6d927325d4c
uuid: 5018fa69-4aa5-401a-997a-299ea9e40202
input_heaps:
f0a12a2aec69f13fa5d0bad6bd85ace47d658fb7
79de5a894792a27db391599b9e95af83f31c70b4
ce6346b2d1a1bcbae741c9e7dd35a08e505208e0


