# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 10aafd4e77ea46284dbf82f36778a4ebae88c3d2
input_heaps:
f7ad79d6f9e93f2b021491a660edb894fe30c4c7
88df4aeb5c420811fbac53319f632128b160127d
fcb450c15b288b4ab5733e8f5feda21d6fe8df2f


