# isabelle_session_info

session_name: HOL-Datatype_Examples
sources:
076c2b898c9dd24810b5307f054ebdfccd515102
111bd506a747a8d2148e6b1fa1f81695380436da
188772c8cc0763cb926fbc73250592b3d1fc2fd7
1a7acfcb263843f9a678c1ce0c07dd60492f5098
252d167e0a4018cbc7d576d359d0e9c6ee845c4b
4ba8e906db1b7173fd60af78c700c4afd9103c3c
5ebed541cfcf29e3e43ff346c453a6e1b69b5793
5fc73a9c2bb9c6f5cfe3b1b6cc4a8d5b018f0361
627eb9ab35dfce8bf8e47915e55c4315626ac403
70d9ea874231a0d1f29fe736dab1cfaed4d7e7db
76b3b2909a380b81f0a6dca81ca22aea5b019f36
abcffe35b50e769314d17a49e69cf2b76e6a124d
c30b02fbcfd250c7a4bff57f0a40fbe5a596e36f
cfb98c1ba5973e23987602a8e62e6815ba583dfe
d1ac231ee93e58fa03edbb65a38283926432d0b8
d5fca18ac4191c95387bf634e3449c39abc4710a
d87e1167ff8cf68de3c424e365ef2c57bb8abaf1
e3ad14e1344af2ffa265f0e446036ea14665e0f2

input_heaps:
47e138307a85ac5846b996407cdc8fc80cfb6399
584c2c37977e4fff9f8870d3165d4b06bdd3ff96
56fa590aee04ad8a0d6c3e2777d5128807bcec11


