# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: ccdd8f0a73885e2c3a49677b7acdeca8c4679b98
input_heaps:
07237e2b3ade8f359663183ef1c4fdf52bd9e545
2b4ca8350fd83b5b43b9dadb5f9e51dc7c3598b3
c14b541bb6af455349fb2ac30de6566fb1c39a39


