# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: c77c003031d91b4023925382a88ff18007b76d0b
uuid: f9f1cf7b-5b2e-4e31-bfbb-710420ff3a6e
input_heaps:
99aa1dee31dfa0d453b64e417ce1ae8b896c3602
2d57dd9f95ebb02243d5cf26c23b4f5f995f70e2
338bc3c334e08f897fae0355c1fe3ae12b9a40d3


