# isabelle_session_info

session_name: HOL-Proofs-Lambda
input_heaps: 3226adc8c0daae6d8019f98cedea110fa9a4438c 52510d1e08413804682f24337d110b3cc018714e
sources:
0ffb6e5c72ffb803b92c1122baba2f7dccaf1638
1ea8c8000af781978d77851e11236cf9c41711e7
203375ad5a545949cfbfc56eb726033eb8696ad1
3a0cde2d734be00fa60a65170c79fb506f4c9d7e
8bcaa302195c29616ff12478e656e73c4b98affc
8f979ed46ab18191437176d98e1c20e073133a45
a1c7eda66c6abd1c1c3421c3c3271b844d911b25
add96425097d7d55c5aa96d8dc0903b8f1339123
af969bbd8517ba7752c9e2114e4a762e30622a85
be64e4ac21172895450d4e288cef7ba288cd9de6
ccf76f9fb34684fa9272e37fe3518a1f7abeaf46
d687288df815faa354b98629e190eb894a8b76cd
d97e0f709cb34e0b4d775136cc9411bef1621181
e2b6397b200aa2cc326fcefe0428f2e7292f308f
ecfebeca7d0fee483546e80efb10b4ac6d008351
f02c3661def6f29b92fc4e11d98c043d5e248413
f8f2490a652d31b62778c64db6388ed010079e7b


