# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: e99fb7ada0dbe4d9b753ec6c5e477e69e94bef28
input_heaps:
efc28eccda00132ad1b67401ee486ac0b5a1cdf9
b1cdb922eb1f4b9cbde0037d18a4b856bf1bd352
7319de419f8cf19204490c36bb3e1f64dd65e970


