# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 3fdc89fa115d2d89900a67b79e0e24a82f7ec00b
input_heaps:
d40ca4cdb5a529824fb7d177aa42025673a71052
633e17bb1fe2d387c6bb1f2f01166d06622686a6
a48a9397e7d8afd67d741e52be731510c54afcc1


