# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: a90f7a7eb2c83512306c93e3539319a1fb6dcfc2
input_heaps:
ead191c1009fcececd2b78f8be974a6d6d02ee13
2109ae05d8f5ff853965c98e95c82e59021ebaa7
cbbcc6d934df5a1967fcbd2eb4ab6ad0173cf88e


