# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 756e61d0f0a9a58dcdc9f9b93af4f507fc9014c1
input_heaps:
e6d6fb0bf43d2a1b0c6a5a3670d17677a7f6c45a
d77087a1ce98fcad9061f403d284fcd8d9806c12
376170ffc1434c396b8a21ed5b73211836f88817


