# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 2d2df44e827add4f52d652a8844561c7f15f315e
input_heaps:
f3ea5aa2f8d11857b657c5935b7de4dc91bd7467
17fecb4a5a4b0fbde672e754c2951e16217e6fc4
f462d455628f10d959bd01c7d30f924a527fb028


