# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 8f261224146b32a7f07a88dddfd1db1e1eadd7d0
uuid: 52d5d9a8-bf21-417f-b62c-a6567edda1a1
input_heaps:
0a2c0c4191b1d84261ef90406b039e096e738a98
12745a0f51ab83415c41598c722acb7629442f25
db5df347df4a9d5f70da638d46b9ee35f81dc73f


