# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 8aff0ad1a5392076dc78f5d8fec1b1f451f97d99
input_heaps:
6aadefe1122163e4dcc89994df87a16956357ee3
34b129f0039b76e6afee09ca991dade98e8798b8
5b86b15047896a11cd7d638aa95b03d6c4f6cbae


