# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: f075a668142262128cd753380de625105c7384e8
input_heaps:
edcd1e22b3bcd95b9f743e779022af92d2d4b479
1cc0c57a4dc6b1fce148bea145e128ee3a528e0f
2250e7fe4cac4401c67fb5b0b61ef536389d8858


