# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 9d4d791260e0521646bb7f59ac919429ca4f2f17
input_heaps:
eddcfa062a672f0dad34c5be0cd823fee08f5bb1
6803283bac8240f6b1c8d22324fa1bb842ee176c
bacf4278a7dbe9d1964021b7bf5c1c77cd9c0b43


