# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 20adee84498efb0b8a3f60ece14f46adb920bfee
input_heaps:
a7e1bbd16329c1f97a9de9d6266928053862babd
ea2cfc597a0179042ded7c822c8c5398bd1438e5
21d655506e0fd088a59b4296e8529c7af3e2f94a


