# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 47041d958e9992ecdba92bb0894528caa226e377
input_heaps:
e0583a0ed15dcfb555474c531eb30e964565f3b0
926329a23c106a798ce76474fb0b3f351ff73480
88da2d9c8305ec60e3d171ffadc731eb96688c7f


