# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 67cbff7960d3ebe1bc9a6e51605537c33e874f66
input_heaps:
5a4c3aee534d8fc2c29daf82c88ad11d6baf9594
ac47f7a6e2098560ab3bbeb5be667268dcbd86d0
2af376eb3c8e8931d65dbc16cc81ab39231a173b


