# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 52e64d80170fc318018eea002e3cc3ad39d2e35c
input_heaps:
e739dc532a6c80e6f5d762f572346ebeb03f4552
5c6d1467eb3dbc220749df9119f5083087abde6c
5e73de75c64b4ee5daa78f26ae0aa31f884e3d83


