# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: fd0422738c9da3c057c301e52bd260be9916e020
input_heaps:
f79dcaa1c9ac424b2dc8d1e27a0e09517d26ade4
eb37e5ba364e75f2c586fe34fbb117952048030f
fe3e2d94bf2df61874f568cce114d5d09fa199a5


