# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 39cd7cc2a815eea0d4c1c03b6849bc70f2d76b5d
input_heaps:
a2d5ff19f237a41b43ba3fc24c0e51d3bf4451ff
46bd800d1ac554aa3326cc80d35350ac7980d5d8
2da34adfe87548dd1ef92966e296d93abe94ecad


