# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 8a73fbb7cec6234a881f9f4c5ee80c002427bfbb
input_heaps:
6efeb224ffc75fab8ec850f4826a2d863a08be88
25ecb723e4a4ebdc4e16cf93f7ae674a8a95cd2f
76e14a3fb4c19a74f9e3ac75e4c294a9b3c07821


