# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 025196a6ec929a424b2bc6087a8da7c2f25b9e4f
input_heaps:
a61b507f41a53faf272c6071fcd8d5a7bd20132b
33bfae3d80b5d001fe17b2635b3de728081f0601
55ecfc54655cfac0445b0127648c360e993cb151


