# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 7de97dbaf41799dd5119ae36530abddd89c6dc8b
input_heaps:
5adbe048162ba6286850b02082ddf88083c0b4e5
3da023d1ea27c13a4bdc6e607859bcb230c86ecf
2e6d0c5d216913a888691d0bebd811d978968976


