# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 6e6f21a780d86a1dc80c96a82e8d3f7f58c25ade
input_heaps:
0447e8f5f417255aa2e13691341cd99ec9daa58a
a17b66d8aabbb2fda0b260137927a648a82993fc
1b2738ce7bf25ae180a9ddc781581ffb24ebb207


