# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 29216be8107d4f506fae07b6ba0f07df647479f5
uuid: f7c182b4-653d-4304-9a91-14695110f2d7
input_heaps:
36485b6181fa7dd2234febf349f141456f576e41
2938869a4687eaba215c72dd9230cf340caa7c0e
e0b2413c63513a61c1fc2619cb5656a0d51040f9


