# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 42300c5a4064f53ca50f183f49e60f8441679c36
input_heaps:
65b7e02b1e5df641da48590b928c3fa43efd05fa
285f8199b18e375e140801c74b6101ca4dabdcb4
deec112b5d9cb89a6ece68b0b9e41371645340bf


