# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 86abf3eae353ba8833af2388d7ee09656fe84f1e
input_heaps:
7430d2c0a1b08934e5f6cb35e5fe155e1341f0ec
144a96b403b56eb57a7d98fbcc98662a2732b6c9
37ced03fda6c70d43aca6c1f9a4b05ce4bba93a7


