# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 3ff9c61cefdd12853ed8b4c9fae08ea80cb72008
input_heaps:
ccd5a1012750b588259b9982c2bc588bac89f30c
78c86e253aadfdcdb820ae113e906428549ce708
4ac08e3bda7a5f410c25a1667c5b24f47fcd12a8


