# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 3e14f87a9f11a0485f8a718b97db0cec04a7d21a
input_heaps:
3fcd7511ab327c5a89ade2e9942291174e9003ad
fb51139a56e053f2570dbe1d300fd77c6cd870a2
2f216c5e5bd4a473ff272a47b524606d22e2cd36


