# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 9a80d434e70cc2bd3917572d3ef4f3de557d2c5f
input_heaps:
d9905930882dc1ca91d8a276cbb235c5128aeb8f
bbe29fdbe06141b726afbb3a87f4199ceaad288e
381dfe908308624cf7d292f4e015f7b5ff95982e


