# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: ffea473b825337d392f04b07197594ea781582f5
input_heaps:
ae1b5b2dbbc392659df742a008f6c67116d9ebfd
3e2f53debea7c11b89b654421975bbc5018e38b4
f093d8894d5cc8f2c459da0604958cc84c2b4c64


