# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: b56427b89209763f820acaf36fc813a8318f04ec
input_heaps:
d0812df67cfd8dfc9bc229af4d4de6a4003cc0c4
2541b922d46b619e0d5865be28cb87d13b9facb0
ae93bc16e6e158541fef6fda0961126710931c9c


