# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 93a5832911c592e9b89edc1f3f0de0fb05780bbb
input_heaps:
ac799521742c6a511fc6b752309e53d5f9492760
7d1e272668ac77c0cb149e8c1935fb9a1f4501b8
11c0a05f85bc5d3463dea3b8dd477e7b13af6fc8


