# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 934510d3aa6a8d818b1446e846be654bdad76a59
input_heaps:
90cfdec0d87addbf47d3382f9c916158cdafeb90
4464720f6112547e5ddd8b507d4f8fcf7d12bdb7
ecc02c514eda8b8dbc5bf1ea3af4e7e86129e6db


