# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: d6d0bd1ab3358ee082d81735dbf8ce432fb026cd
uuid: 36dcf8a3-dd5f-4b26-b1f1-b3d9427e8c2d
input_heaps:
47fe89a0b57a84789780bce1b7c17bef3c40f2cc
7f2d39404b813f8aab00b5b6b90da9cc0b8af993
e37b46de3b404cbdb3c5bc61b92145f4f14cc7e2


