# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 9093c0ab3540186dc4ee234778f4cbefaedff6ef
uuid: 9f7d15a9-9d1e-4fb5-926b-94c18a24362b
input_heaps:
f2c04b3a245c566a66a6acf19889f982d671348e
6a67644276429010a483254405a7feeda90e288f
fd453820fe958d1fee7dc97e4ad62f07a2b9f581


