# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 37c0d185f8556340715405c8e235b63822b101ce
input_heaps:
d9aab2f0eb07e313f7e1d8ac809bb79600fae4cd
bedc0de0e02c39d3dd892b5a6a25063c7496d425
6277fff22efaab931b42e5a6210b28c15d9183da


