# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: c0e3ca52ca7b0ac7980d03028170d9d7d6057651
input_heaps:
aa468f196cc1f032ced051f10cd4b6ba6c3bde77
524ae272694e137cafb2e02694c46b4b52cd2087
7b5a09900654db7e7000023ca75a1722b8534adf


