# isabelle_session_info

session_name: HOL-Proofs-Lambda
input_heaps: 3eeccd96a44dd580d8c7ef1905f2c611132cc467 bc799c76218b61248965cedcdb10de743ad8a08f
sources:
0ffb6e5c72ffb803b92c1122baba2f7dccaf1638
1ea8c8000af781978d77851e11236cf9c41711e7
203375ad5a545949cfbfc56eb726033eb8696ad1
248dfd1bf29b131a65cd59c626c2225cf48c506c
2b13fdb8fe6785b146fe5092ce5bf708306d5029
44baec093d30bec4af6ab8a6da185f226cfd552e
8a4f925086903f5dd58b1acc951e8aa4068044ad
8bcaa302195c29616ff12478e656e73c4b98affc
8f979ed46ab18191437176d98e1c20e073133a45
a1c7eda66c6abd1c1c3421c3c3271b844d911b25
add96425097d7d55c5aa96d8dc0903b8f1339123
af969bbd8517ba7752c9e2114e4a762e30622a85
be64e4ac21172895450d4e288cef7ba288cd9de6
d687288df815faa354b98629e190eb894a8b76cd
d97e0f709cb34e0b4d775136cc9411bef1621181
e2b6397b200aa2cc326fcefe0428f2e7292f308f
ecfebeca7d0fee483546e80efb10b4ac6d008351
f8f2490a652d31b62778c64db6388ed010079e7b


