# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 39cb73558902a1145a1dad688f6fd0d00536830c
input_heaps:
8e5ed195ee2cdbe15f77b520f593f76d8130fb54
64c8f031891189ca79985911abef2bbef37c0626
a7907596d495a9056c129070e60ac9ab33be654e


