# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 43ecfc0b80be8d1d22ca4d9ea0b86be66d3595ac
input_heaps:
b3e898cb94fff8ea5f7388662fbada074058e744
008dcfa32f4577c3f490552fca32d890b18cd151
75791dddd2cf090cc2710e117612149d273bcb25


