# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 3fa61537d57b022dddd261e853ec32f01feefd73
input_heaps:
5b51a36775445032f763e9aee0002c7eaccf2b7f
35fe7ce9fdc3c090128037489da424d18eb375e8
de527666ec17bb60f537387294cb27545f24ac1b


