# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: c25ff6c83b3147aa21a187e28d00f5b661f80986
input_heaps:
e2015e5246e1a7618d650fad22191f33705e8e0c
8a8103e86b35297b75bf7c8f4f146e87c135f0be
c0358cf68fe6ff4401517baa746e41597597543d


