# isabelle_session_info

session_name: HOL-Datatype_Examples
sources:
0587b778f6bef879f999a5940f95823c3631960d
0e5adf75e6b97c4956b151fe0cb2e05c09b87e87
13187a4aa62cc0b4aa223059ec6f092680601d79
188772c8cc0763cb926fbc73250592b3d1fc2fd7
2ccb944126455a184c05f7f74b688fd9a11c19fb
4e44cae70dd49c4de22110915d4d7ae147d95218
5b804a02f026f0c514f3c9b07d11c4d7d7aae3d5
5ebed541cfcf29e3e43ff346c453a6e1b69b5793
5fc73a9c2bb9c6f5cfe3b1b6cc4a8d5b018f0361
70d9ea874231a0d1f29fe736dab1cfaed4d7e7db
97deb1f6e9982d18bcbb623ce6f3a82487cfb71f
abcffe35b50e769314d17a49e69cf2b76e6a124d
bf76cbd55e828093dc45c8b038ba1da5d71b41e5
c30b02fbcfd250c7a4bff57f0a40fbe5a596e36f
d5fca18ac4191c95387bf634e3449c39abc4710a
e3ad14e1344af2ffa265f0e446036ea14665e0f2
ef80661a56d1c4702656e82c62284c65daa3bb68
f65eecfa15c43fd3547ef3e698c3f14c7734a09d

input_heaps:
badff2eb78ec951e0416488ed93765ea7e7b8753
75443fb8de963b2ed9e7c9f1ae11bed5ca867354
c1502b336049c22f24ab6bfc0f88f963e08292d5


