# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 1e88fa6d1b465c45d77967deaec58e3d9fda02a7
uuid: d20010a0-bf1c-4773-879f-e7f0867d9e20
input_heaps:
2b8dd55def4b2146b301c20f74820d8ca9117fe5
a07cbbb690ec61ebb978a21d25325a3e90f64fb3
5a7f3425d17557d22ef9e2787c8b1c2459a2d092


