# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 7f981c4152fe98c3f966f4b6193be4994a84d07f
input_heaps:
0fd942c2de17ffe6e7e669ea714c0bfd1357b97f
96be2a9745a5315d1ee7c3748cbb3041e3514260
61f6d5ca1119759f97347f1c5bdc0c742cd98b49


