# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: c7d3a0e8e3bae297f46bf9fdc34243055c2a754d
uuid: 4fa510a8-75c6-4f31-8295-24053d6d070a
input_heaps:
d3f897dbede5114e044d830121d9dc2b656057db
736e4fc5a7aca9f5f524c2f1dcf705553bd6aaed
dbabd8842d5bee8fc352d42812406e1a1d4c39cd


