# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: b83da1c03ce7cba0ce89b9d6877c575ea1f611f6
uuid: c1909a10-6a61-415b-b784-60c0596c38db
input_heaps:
7494db69a56d704462c0c0f0c662958fd44be986
d35569da02f94f5ff7cd2e9c664d515de3feb2e3
a9feece35c0c8ac4a3d703918bc4ece33fe25203


