# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: b0e49713a245ea522a502add3d1635019b110b57
input_heaps:
e0e98f91eaf585f03a7abae8b79b7a2007cafdf6
d1246451ba418ca1d195718ae40514cd22ca9d6d
b17830221cc6724642c837f962c9b8e63debe58f


