# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: d96c15a7a0b73696e6c05fa6418671d5762c2665
input_heaps:
24a38c72ee89e95ca4340bf3149b8301de12b264
ffa32f7831827e888dad40b899438fb418edd108
8039d75ae706adba1936e6ee096d60e19b25dae7


