# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 641758ccd2934cb266d3ae793c3ff7b22d376b18
input_heaps:
902f55b990891c03dddf854b84aaabb24ee3cee3
e6e8b4787869145ada1a85e687fd48496d7b5e76
c5c861228f4e662188ab4d619aa73e7fc8e28fa1


