# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 8559e5cd9d6a1461ebbba54d87eccbc2b7cc473d
input_heaps:
f3782e60e56b1de215ee686052f461bb18c61005
ff5fe0825dd1d8f09ac6ba6d5da68bef29f41d33
94341046ab1e2ee307316facc3b6ac4bae114de5


