# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: a343f42b650f12ed4a0b89ca5792bfd95d4488bb
input_heaps:
b491cc52c6cddfbd176c595fe2bbf3ae3351103c
e27039ae01fdef480895181a97cad563e945f770
12e80d50adff969fd3db26704fd04d0bdc5b4fa9


