# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 2668bddb0a7b9091c35fd0fc2bb20baf8a02170c
uuid: 922f9c0d-4c97-4644-8b5e-bac531e336b0
input_heaps:
8bf6d6c4ec5c362fa65ec69b5eb9f99879813db6
d114ea8585affa1ead63c6f741e34ff76a13097b
1f940904e47179bdc7f94b71d87fcc4cb5398a50


