# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: a47aa538d89edc08df5636d279a1fbad5d296946
input_heaps:
b690dd9b4995811857c4fb640c8853723b58ff28
2f035b4a19bddcb32b1e2a5fd47e81076fa7fb4f
7136e22dd33498617995345b22faea5816169ff3


