# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: d6ff6d5ed7295567a52407c4b3c8f2fffe9b01cd
uuid: 40a79c82-cfe3-4c34-b43b-10890f8fff08
input_heaps:
79322249ab134c8554bd4221788419e922866e99
2387fc3faef59fbd5e6cfc1d5a002f4fe962a0c3
136b97fcd0c3fc5c379cdaec1d5dbc45076944b5


