# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 548c2dea9f884da6f8e9d24badfa793ed61d6b51
uuid: 4a68620a-cf81-4091-b0f2-dcae75d73b72
input_heaps:
ba4d32bd4787a90c8ed747450db046e743778809
00e4c29c03866e48b64ed0938508578e7f44b357
5306384618dcbe43ee573dd52706f4b9bef9df56


