# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: b8d23aa1bd6d5aaf57f89cf610d77268b01371ff
input_heaps:
357b42ac3beabedec26b51d2656ba583cf1eab4b
15d85692b7f1786c47e0baf09991f065726d2b19
e7f76ae7ba8113855c90dd46d25d24ff4a9a56df


