# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: a94630340c0aa5d880472568c5119c8ccebcfe93
input_heaps:
bb6edb3325d4afe86dcddb38cd64e9e4f6cb4f05
f5abe85b5a6ae336d989f2da068aa228d0fe8ac0
303a379572bb93c90b4d973c6126a1d572b1392c


