# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 59ed84a4f5e8578b6b173c270b4240bd8fa56c91
uuid: 577af4cd-ffd0-452d-8029-412a10d09f9a
input_heaps:
c269d7ba43311fcdd25b27d2c85675fb79c28bfe
c2c8ccb14b1e30e727060788d8f6b1001e9bfa2a
3874425be7072350e644dce9d974456aa0ca46ce


