# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 1288fe0f914e4d7e6837d807794ad9af97ed33b3
input_heaps:
e2bf23c7d7eb3616a6ada91fb6d55c5b24a424db
a63549e9f792e863f2c65c2de3f08035d4b61871
a24f3adef60ce6e7255a9d15955f4566bd744578


