# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: dbe98a2a7d8dbb829f861b5d567810d61a520b8c
input_heaps:
29da2f23179d57a846638571d6a47f5129270b51
1af047ad3a6300d370f1c24ae4b47a646085a2da
f14853d14604512db99de3f2175245163c8c41fe


