# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: ac6d076849871005ca4117c529237b84191e15dd
input_heaps:
f84da1efeb09fd4a6dddd2573e5e78b0df151cfa
98f128cc9d5b9ec281c2dbbcccad4799d2c3af76
f10bade3283a7523c7ac84f9b97e8b703337dd05


