# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 733b9fcd572f82d09d9ef8933a29cad62bd09135
input_heaps:
cac5d03352e376834a77ac05dd893fd2179d2522
021e215213850104e25ab568a4ae9421ef705042
899c51dee9e888ed2c30fd91cff6850fe86d83c7


