# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: b6789295fb07a8a30ce080a0574ec867332755a9
uuid: bf2c6e7d-7ccf-4d5c-9990-bb85ebd7c86d
input_heaps:
d0b0e1d3fca0543fc6f2e2fe2b9feb4c06e18beb
e4e0d8e376269bf7d8c3cd64976b6a6f15d0983f
76a8e4a61a64a44c9311611482bcd9e1b4b15eab


