# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 914fd533dee74de324c976694e660122c8f114e4
input_heaps:
95853d0653331ec14ed62a4d4bc81dab1230b932
cb6e029473a5a4e5efb81be3643a1e4640b2d25e
2ab86be406c14f4a2aa6b7a7230ed2c74c6786fa


