# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: e997879cf67147de81f43410f07cc2f5d3bba797
input_heaps:
d45c74c3c975463d5aed11161e8ffd9a51437a45
4473f24c6908ad0badf5e15532763e307c56bd29
f87f69df71d6ac03f8153ec8569ee970b1bcf77f


