# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 23a802896d010525650dc6a48c020c0521bc4aac
input_heaps:
ee652d79da3dfe2226e7998ba8d9b6c5b4062632
574a78dd5fb2862f217d3eedf94378929b3d0576
7e7265610f6f367fba2a0d349125a9826eeeb2c9


