# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 26c91a7615ca5b22b2f42f0c286789db588d6017
input_heaps:
1c2df9ab94e25c8a2679a68910791aed4c2b5de4
6ac8fecf45d23f477b2ee86df14908c91728a9b6
b08ac3a6e2c4ec4252e52e5d4e2642c774f60995


