# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 198079d213f049461c08e2d76655e52d049d6f6e
input_heaps:
e8e3314a2216dfbbb96c9391593b20fa6b915b86
d5f092271c0e51c9f28f7703e0f3b57bf8bafc3b
62340f92430a7674d0ef83f19eea906398267080


