# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 1ecd5a344f3cf943d15ba81ec18fc8b09ecdbdd7
input_heaps:
341573a915193db629e8d127a9a53502c8309b6e
9e237ec730f89ae65421631a0a1ef3d055f5d625
a7d5c44ef956f5e6b6677efff850ff24dc7da35f


