# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: cc1aa9d1b16f7e637693394915034a5665fdd2b4
input_heaps:
a709d2accdf7c7879bbeb7e5998f5ada145fc66d
83640fd834535baa5484547dfa008f9bc8fc785b
ab1933ba3f376d2e9c0b59b6f3a06f4774c51437


