# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 7693be388186ceb13e3ad6085b593016ab3ab551
input_heaps:
cc1977b678af842d5b1dae3237d4803cee7dcd2e
874bad08945295a3f50a8a972ad8755a8229eb2c
cbdc9622035d2bd883b95cacd1e1a57c5e829d0b


