# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: efa6778d17d2254546966e5cd7cc57709a961a44
input_heaps:
3544b43f6233cac7fa59f57a860ecfae106f5f76
f0c98d261d30ffdb52c0a09fc4e24718add3e116
e31ba3dd6d02292155a2ad6e1b2c8492b2bcc21d


