# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 144c3be346b77909d50da6f224a95d8c681cc653
uuid: 27e9b511-74b2-49d3-ae30-759aeabf570e
input_heaps:
cb1b65c467ef552552ff2e51a2d5ffb63afd4758
b8a02a834d8fbee8ac02bc0db66ecdd69ead8168
d121f1c3fa0be413c06903becad78f7c07ac4879


