# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 9d47ea6a57fe629503a458ce25abac32ef2c2bef
input_heaps:
3ef6c9a0eb470e4693e1ab85852721e78e1c146a
f550ffe99d9ea6d3907e695610a5094009d15b06
7bff34178e5e6e2942ba1ae49e6de42a2f9bbf99


