# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 9bc87aa271fb25dd6efe9a1a4502d566b4a825f2
input_heaps:
d10e51eaf97bcfb5a974b5a9660b4a9c4ab71c42
bec8f12658c329051cdd3196b3789cc67865eb91
541fac9be3ddd4abce1f87e17923e8c2d9e5d999


