# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 6078d9ee9a7e00860b567c2355103ec16648766c
input_heaps:
a1c521f363879bd6f4f9f3d7760b9927f5eca860
50b1106a64fbe3e899e930ea01c7c3692190fe1e
516bc9b21ac9a4f29b67e15bb51c14eedb8ccfa1


