# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 456e450f0207bbf703e900b062a643b2d8f8e606
input_heaps:
ed722b52bb85e2dc59bf911e06593f9321485465
9707b28922e9653b71e76503133d895e18154890
36600d5a291b651d32f67736bbf26f201f9fd1c6


