# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 03ad3e353aec9a27f9e7c5ba1722b5e5a22e5ebd
input_heaps:
ad95178f9cc8aa8a55e83db54baad3cdb12343fd
1699cd031ea33bc672c8b13b97dd8c83db33689f
f9e08a93620dba348c7dcc5183ae861e48e3f0ab


