# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 12bbf14c376068e56e978d0c863df535021ce393
input_heaps:
4f9adad097b83b48748aa56278725eaba3e0de72
4407b64f47d089c8dc6c9340ed5b51e835b9101d
eab63d55a9aa656225557b5f7260dbb415e1b018


