# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 9728e407deba0281ee69b9f7f5e7feec46515c73
input_heaps:
2922a9760d947cb0cc8b078564aaf1bd2d436941
dae8aaf71c6c8be05abd6464d3201dcaafc60276
953388bbf2d201cb81438d848ea4ca7427ddcc5a


