# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: ddc092d6896b703cc2d834685bf7b45e414d79ea
input_heaps:
81d1fd0a308fd45942f10777df17e6592fb6726b
920b8c66b9a56779b68aa076c35dc6ab8473e7c3
50aafa34b294d59ddc815c946e6519b1cc92300f


