# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: f264c531c7245b7088bb71277c37d234b7869cff
input_heaps:
ccf9b9418e9c76b5688e2dd3ccca778f920a9297
2b81ca4de31fb7c354e77106786e7248d054178d
e940e3c650b5eefdce362ea955b9eb74b63abc13


