# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 7de97dbaf41799dd5119ae36530abddd89c6dc8b
input_heaps:
68cb7b892ff6e63db78c7a6e5177c58783238420
a33fb9fa4258d63bd5352c4c62407407ee5cc8f3
5d3a4603747d561f9a1284a9450166bbbaf34d8d


