# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 10cb1249c454b89bc1991b3191d41fe43cb679c5
input_heaps:
c36d8f85a99ddc5a1f0d4a78ada7dd9bcbc5bdff
91857ad64a000cacbd194f827207b2944b8ba327
e8312ec572e5fba9122cdcad68277f04e30d24ce


