# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: e8b91f06bc805c455f34ef50fe370e8559d8efc8
input_heaps:
82279e0e1adf83bb56256dc19b76e613b9ff505e
63876a40702696125354f9af72dc0450e7ebf321
ffcb8e556d55ae3014cc6e0de16799b3d1c28b6f


