# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 859bbde0be03c5a07d9d888474315c7941188b85
input_heaps:
19435e7761b5bfa7535ecc583694b3b77ac13312
d3b6a50d191a438eef0407441b81032b5f20e8d6
16b5abea441ee91934a74c34d191a770906cb624


