# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 52e64d80170fc318018eea002e3cc3ad39d2e35c
input_heaps:
2ab6afc53332b0678cc77dc53d23f8f23ad3ce19
470e85b8ee0fcd8c2c6b9a7daa17d466ca7b3c05
8321211cd83ed4ed6e5a66264a60436ef84bdf10


