# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 9f16b57af64dcc0b022c406f90588ae221e6f96f
input_heaps:
273806c095935afc4dbdd0f3af3457e74b254003
78173b8cac9a501f394ea1a1e14f166435a9dce2
8997aa856ec20dcb97e44daf53ffc4ed991d3362


