# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 285c9c95aa2d7c3855d202fa0b75900f5e539fae
input_heaps:
1bc35d9f5c260a07418d50e521d7d63c2a5eee08
ceb5af7e7710e56d8e11a352c6a6268c805bceaa
7ec5b36b4cfa0d8595ab2a652be8746b03e4874f


