# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 91f698ff7fad544075c36b6a31771bfe8e29049e
input_heaps:
174cc62824810fb30472fdb32ee1776d48cb238c
fafe655213a5e9886fd032ac78bb3ac5809b55e3
4fdeff0f6089b8735903a1bbeca98add15ae5513


