# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 9bc87aa271fb25dd6efe9a1a4502d566b4a825f2
input_heaps:
a1e841a14f3cbe5e635587c582b2f4674f435e40
7d43288a5cc968ef6c8aa951129cae27c402c99e
a9fcd3ec1345bbbca4fdd01e021e94618c162760


