# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 71224a8c2e2e722bdb54af31d21a36e787f8e8be
input_heaps:
849a93819fa451203d0122b4dd3db0edd4c708a5
e5ff3eb8497e8e1ce5e269fbb4d27f07bc3d35a1
7b0aa2529f47d9caf89e30e2a0df1a57b9457e34


