# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 4aca360c329c3c4c1d6ac49287bf75a32e8e523c
input_heaps:
453b001c09ff735701b1550cb3c993764c9b9b6a
3f6e51873188e0c44de8bc52bec007be4fe630db
a2213e40c0811b3e2cd7c1d1892c11a189a15453


