# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 7cb6905c337d2a96679f2a3cd6c465857d991fa6
input_heaps:
73b97324401a390af5292cba94f0564c556fe305
6001243685746f1a1a24fa4ab39f70a8f5ce39cb
fb2bcab729f91a763b43cf758c959528886bea60


