# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 9a3807315170247703d7e1d522ccfafa800ef191
input_heaps:
5c48b71e3a421e657603377b3e9ab553741afd76
3f8da09a6f473e75425d98df649eb54d6e6233ec
afbbbb79e8572466df1cd4c974cff9e6c98bdba3


