# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 78580afd14e9af699ed7f3c2b4081c77375ff76e
input_heaps:
a8cc758d6ab7fd0d9728cbbe893e534f8f965816
1af3aedcad71efe17b78663b69931936110aab93
4c7bb73ea7dc4620c9de3253ad9bd9ebaeee8a9a


