# isabelle_session_info

session_name: HOL-ex
sources: 81d48a44cd53ef24b4565e0f915c9f48d99afe56
input_heaps:
54c79e9de84c074157fc1ab72ed178119623db9d
1d3c498146e221cfc65a0799a6b457079cbcd5e7
22af4039d4c5197a7a354adb14ed58f818751d02
fe27b47bed9df17b31732368e6dcc259426f6642
5987cae39ff72cb0e8b47a3201c8bdbfadb7d4fa


