# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 3cea74539418ae05f5d9af03889cc753ff379fb4
input_heaps:
1c609249c248beb27845e050608bb1c731bea640
eed88ec53d7b43e3c68dcbe53660c1742a20e707
bdddfe7ce59793a6e24a163c25c47efadaa8ef94


