# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 94f68877623f151d87759a72a6e015831c408c2e
input_heaps:
3738d534707f79e4c97b3e4cb327db955945e3f1
1b19ede38a286a7fa7c377dc681da41f766449a4
fe23a39a6e54f23b8a0c7b66d91e1cb38cabb15e


