# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 1a3135c6802b7162cae1d9967bf02d3259bf4bb4
input_heaps:
033aeb80bf9e42a1e7357299354530b3714c24e4
64e4772cec7906cda71bcd7c2893a1bf904a976d
071d4b88314f75cefed49bec36632d926c976ad5


