# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 423fa623bd6ce89b59ec3e68d020151447edacd0
input_heaps:
c02607a1ca167edcd658ec3d4e79e4ea4af5ebba
3b9edca41ef3030e0a722d7987c2d1d2e4c73333
5ea89721b052153b22b9e8cbd36193dff83b11e4


