# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 7cdb8b48c7e167f354ddc8b2cd09a56ad2009edc
input_heaps:
542cb8bf72c64bf17ee67b940a85e2465d851528
06cb9253274f1cacab108d3a867c2a08aa7fe5fc
44fde6453356c208ab958181c61c53ec0a0b4dd4


