# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 7c1454847527650e40fedea6dbc7e3643d13cc19
input_heaps:
6c8e13744f5674a7b5f427d5bc2c896df0f96141
905391c16947b268265525cd86d750411a1185b6
1c78443b6d7cdf9e9bf5233de843694b35a188b1


