# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: baa3309f456e06d92f933ecc22018190b08ef76e
input_heaps:
a52852326379afee2cdf8f94e7105ca039ab9f98
4b399c4375d1ace873a060528c4c23646f4c8a2b
dcd2630894060167709e1c7cdf10ed1a1bade26f


