# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 1d10366b10d1357bd8c663a092a34c2861e308d2
input_heaps:
951230969940b07da93990e08fc8bf60c24ffe6c
f1fab7c32ee46794bf6b2349d4fdcefa0edbff44
a41ec127f05ea584e32771a235b923f201f7bdf9


